===== $\mathbb{N} \times \mathbb{N}$ é separável =====

\\
Basta tomarmos o caso trivial: o conjunto todo é subconjunto de si, denso nele mesmo e enumerável.