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$:


 * $\Img {\mathcal R} \subseteq T$