===== $\mathbb{N} \times \mathbb{N}$ não é compacto =====

\\
Basta que tomemos a cobertura $\mathcal{C} = \{ (x, y) : x, y \in \mathbb{N} \}$. Desse modo, não existe subcobertura finita.