\begin{definition}[Definition:Exterior (Topology)/Definition 2]
Let $T$ be a topological space.
Let $H \subseteq T$.
The '''exterior''' of $H$ is the interior of the complement of $H$ in $T$.
\end{definition}