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

\\
O espaço é $T_1$ porque [[topologia:exemplo:n_nt2|é de Hausdorff]].