Inverse of Subset of Relation is Subset of Inverse

Theorem
Let $S$ and $T$ be sets

Let $\RR_1 = S \times T$ be a relation on $S \times T$.

Let $\RR_2 \subseteq \RR_1$.

Then:
 * $\RR_2^{-1} \subseteq \RR_1^{-1}$

where $\RR_1^{-1}$ denotes the inverse of $\RR_1$.

Proof
The result follows by definition of subset.