=== O quadrado da reta de Sorgenfrey é separável ===

\\ Como a [[topologia:exemplo:sorgenfreyseparavel|reta de Sorgenfrey é separável]] e o [[topologia:dem:demopropdseparavel|produto de espaços separáveis é separável]], $\mathbb R_S \times \mathbb R_S$ é separável.

Alternativamente, note que $\mathbb Q \times \mathbb Q$ é um denso enumerável em $\mathbb R_S \times \mathbb R_S$.