Inverses of Right-Total and Left-Total Relations

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

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

Then: