=== DENSOS ===
\\ === Definição ===
Seja $(X,\tau)$ um espaço topológico. Dizemos que $D \subset X$ é **denso** em $X$ se $\overline{D}=X$.
A caracterização de densos apresentada a seguir é importante para muitas demonstrações.
\\ === Proposição 1 ===
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$. [[.:dem:demopropdensocaract|Demonstração]]