=== O quadrado da reta de Sorgenfrey é regular ===

\\ Como [[topologia:exemplo:sorgenfreyregular|a reta de Sorgenfrey é regular]] e o [[topologia:propproddem2|produto de espaços regulares é regular]], então $\mathbb{R}_S \times \mathbb{R}_S$ é regular.