$\mathbb{N} \times \mathbb{N}$ é de Lindelöf
Todo espaço que possui base enumerável é de Lindelöf.