Como a reta de Sorgenfrey é separável e o 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$.