Definition:Image of Mapping/Definition 1

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


 * $\image f = \set {t \in T: \exists s \in S: f \paren s = t}$

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

Also presented as
This can also be presented as:


 * $\image f = \set {f \paren s \in T: s \in S}$

Also see

 * Equivalence of Definitions of Image of Mapping