\begin{definition}[Definition:Image of Mapping/Definition 1]
The '''image''' of a mapping $f: S \to T$ is the set:
:$\Img f = \set {t \in T: \exists s \in S: \map f s = t}$
That is, it is the set of values taken by $f$.
\end{definition}