Inverse of Inverse Relation

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

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