Image is Subset of Codomain/Corollary 3

Corollary to Image is Subset of Codomain
Let $f: S \to T$ be a mapping.

The image of $f$ is a subset of the codomain of $f$:


 * $\operatorname{Im} \left({f}\right) \subseteq T$

Proof
We have that a mapping is by definition also a relation.

The result follows from Image is Subset of Codomain/Corollary 1.