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

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