\begin{definition}[Definition:Closed Mapping]
Let $X, Y$ be topological spaces.
Let $f: X \to Y$ be a mapping. 
If, for any closed set $V \subseteq X$, the image $\map f V$ is closed in $Y$, then $f$ is referred to as a '''closed mapping'''.
\end{definition}