===== $\mathbb{N} \times \mathbb{N}$ satisfaz $T_0$ =====

\\
O espaço deve satisfazer $T_0$ pois [[topologia:exemplo:nxnt1|satisfaz $T_1$]].