** O plano de Niemytski não é Lindelöf. **


\\ === Definição ===


<WRAP round box 70%>
Dizemos que $(X, \tau)$ é um ** espaço de Lindelöf ** se, para toda cobertura aberta $\mathcal{A}$ de $X$, existe $\mathcal{A}' \subset \mathcal{A}$ subcobertura enumerável.
</WRAP>

\\ === Proposição ===
<WRAP round box 38%>
Todo espaço com base enumerável é de Lindelöf. [[.:dem:baseenumLindelof|Demonstração]]
</WRAP>


\\ ** Concluímos que como o Plano de Niemytski [[NiemytskiBaseEnum|não admite base enumerável]], então não é Lindelöf. **