Image is Subset of Codomain/Corollary 1

Corollary to Image is Subset of Codomain
Let $\mathcal R = S \times T$ be a relation.

The image of $\mathcal R$ is a subset of the codomain of $\mathcal R$:


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