Closure (Toplogy)

Sei \((X, \mathcal{T})\) ein topologischer Raum und \(A \subseteq X\), so ist der Abschluss \(\overline{A}\) von \(A\) definiert als Menge:

\begin{align*} \{x \in X \vert U \cap A \neq \emptyset \forall U \in \mathcal{U}(x)\} \end{align*}