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


Tomemos dois pontos $x, y \in \mathbb{N} \times \mathbb{N}$ distintos. Podemos pegar os abertos $\{x\}$ e $\{y\}$, que contêm $x$ e $y$, repsectivamente. Além disso, vale $\{x\} \cap \{y\} = \emptyset$.