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