Relation Contains Mapping is Equivalent to AoC

Theorem
Let $S$ and $T$ be sets.

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

Then:
 * there exists a mapping $f \subseteq \RR$ whose domain is the same as the preimage of $\RR$


 * the axiom of choice holds.