$\mathbb{N} \times \mathbb{N}$ satisfaz $T_1$


Basta percebermos que, para todo ponto $x \in \mathbb{N} \times \mathbb{N}$, o aberto unitário $\{x\}$ é fechado.