=== O quadrado da reta de Sorgenfrey possui bases locais enumeráveis ===

\\ Como a [[topologia:exemplo:sorgenfreybaselocenum|reta de Sorgenfrey possui bases locais enumeráveis]], então [[topologia:dem:demopropd1ae|o quadrado também possui]].

Alternativamente, note que, para cada $(x,y) \in \mathbb R_S \times \mathbb R_S$, o conjunto
$$\mathcal B_{(x,y)} = \left\{ \left[x,x+\frac{1}{n}\right[ \times \left[y,y+\frac{1}{n}\right[ : n\in\mathbb N_{>0}\right\}$$
é uma base local enumerável.