Definition:Image (Relation Theory)/Mapping/Mapping

Definition
Let $f: S \to T$ be a mapping. The image (or image set) of a mapping $f: S \to T$ is the set:


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

Also see

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


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