=== 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]]