Seja $(X,\tau)$ um espaço topológico. Dizemos que $D \subset X$ é denso em $X$ se $\overline{D}=X$.

Seja $(X,\tau)$ um espaço topológico. $D \subset X$ é denso se, e somente se, para todo aberto não vazio $A$, $A \cap D \neq \emptyset$. Demonstração