\begin{definition}[Definition:Closure (Topology)/Definition 3]
Let $T = \struct {S, \tau}$ be a topological space.
Let $H \subseteq S$.
The '''closure of $H$ (in $T$)''', denoted $H^-$, is defined as the smallest closed set of $T$ that contains $H$.
\end{definition}