Image is Subset of Codomain

Theorem
Let $\RR = S \times T$ be a relation.

For all subsets $A$ of the domain of $\RR$, the image of $A$ is a subset of the codomain of $\RR$:


 * $\forall A \subseteq \Dom \RR: \RR \sqbrk A \subseteq T$

In the notation of direct image mappings, this can be written as:
 * $\forall A \in \powerset S: \map {\RR^\to} A \in \powerset T$

Corollary 1
These results also hold for mappings: