$\mathbb{N} \times \mathbb{N}$ satisfaz $T_0$
O espaço deve satisfazer $T_0$ pois
satisfaz $T_1$
.