\begin{definition}[Definition:Closure of Set under Closure Operator]
Let $S$ be a set.
Let $\cl$ be a closure operator on $S$.
Let $T \subseteq S$ be a subset of $S$.
The '''closure''' of $T$ is its image $\map \cl T$.
\end{definition}