Image of Relation is Domain of Inverse Relation

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

Let $\RR^{-1} \subseteq T \times S$ be the inverse of $\RR$.

Then:
 * $\Img \RR = \Dom {\RR^{-1} }$

That is, the image of a relation is the domain of its inverse.

Proof
By definition:

Also see

 * Domain of Relation is Image of Inverse Relation