$\mathbb{N} \times \mathbb{N}$ é separável
Basta tomarmos o caso trivial: o conjunto todo é subconjunto de si, denso nele mesmo e enumerável.