Definition:Image of Mapping/Definition 1

Definition
The image of a mapping $f: S \to T$ is the set:


 * $\operatorname{Im} \left ({f}\right) = \left\{ {t \in T: \exists s \in S: f \left({s}\right) = t}\right\}$

That is, it is the set of values taken by $f$.

Also presented as
This can also be presented as:


 * $\operatorname{Im} \left ({f}\right) = \left\{ {f \left({s}\right) \in T: s \in S}\right\}$

Also see

 * Equivalence of Definitions of Image of Mapping