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$.