Definition:Image (Relation Theory)/Mapping/Mapping

Definition
Let $f: S \to T$ be a mapping.



Also denoted as
$\operatorname {Im} \left ({f}\right)$ is frequently rendered as $f \left [{S}\right]$.

This is in accord with definition 2.

Also known as
Some sources refer to this as the direct image of a mapping, in order to differentiate it from an inverse image.

Rather than apply a mapping $f$ directly to a subset $A$, those sources prefer to define the mapping induced by $f$ as a separate concept in its own right.

Also seen is the term image set of mapping for $\operatorname{Im} \left ({f}\right)$.

Also see

 * Equivalence of Definitions of Image of Mapping


 * Definition:Domain of Mapping
 * Definition:Codomain of Mapping
 * Definition:Range


 * Definition:Preimage of Mapping (also known as an inverse image)