Equivalence of Definitions of Dual Relation

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

Proof
Let $\tuple {x, y} \in \paren {\overline \RR}^{-1}$.

Then: