\begin{definition}[Definition:Interior (Topology)/Definition 2]
Let $T = \struct {S, \tau}$ be a topological space.
Let $H \subseteq S$.
The '''interior''' of $H$ is defined as the largest open set of $T$ which is contained in $H$.
\end{definition}