O quadrado da reta de Sorgenfrey satisfaz $T_0$
Por satisfazer $T_1$ e todo $T_1$ satisfazer $T_0$, $\mathbb R_S \times \mathbb R_S$ satisfaz $T_0$.
topologia:exemplo:quadradosorgenfreyt0
Por satisfazer $T_1$ e todo $T_1$ satisfazer $T_0$, $\mathbb R_S \times \mathbb R_S$ satisfaz $T_0$.