Image is Subset of Codomain/Corollary 1

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

The image of $\RR$ is a subset of the codomain of $\RR$:


 * $\Img \RR \subseteq T$