Inverse of Inverse Relation

Theorem
The inverse of an inverse relation is the relation itself:


 * $$\left({\mathcal R^{-1}}\right)^{-1} = \mathcal R$$

Proof
$$ $$ $$