** O plano de Niemytski é separável. **

\\ Seja $(P,\tau)$ o plano de Niemytski, onde $\tau$ é a topologia definida anteriormente.

\\ Vamos mostrar que tal espaço é separável.

\\ Considere $D=\{(x,y), x,y \in \mathbb{Q}:y \geq 0\}$, $D \subset P$. $D$ é [[topologia:densos|denso]] ($\mathbb{\overline {Q}}^2=\mathbb{R}^2$) e enumerável. Então $P$ é separável.