Bijective Relation has Left and Right Inverse

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

Let:
 * $I_S$ be the identity mapping on $S$
 * $I_T$ be the identity mapping on $T$.

Let $\RR^{-1}$ be the inverse relation of $\RR$.

Let $\RR$ be a bijection.

Then:
 * $\RR^{-1} \circ \RR = I_S$

and
 * $\RR \circ \RR^{-1} = I_T$

where $\circ$ denotes composition of relations.

Proof
Suppose $\RR$ is a bijection.

Then by definition:
 * $(1): \quad \RR$ is a surjection and therefore right-total.


 * $(2): \quad \RR$ is a mapping and therefore left-total.


 * $(3): \quad \RR$ is a one-to-one relation and therefore also both a many-to-one relation and a one-to-many relation.

By Inverses of Right-Total and Left-Total Relations, we have that $\RR^{-1}$ is also both right-total and left-total.

By Inverse of Many-to-One Relation is One-to-Many we have that $\RR^{-1}$ is also both a many-to-one relation and a one-to-many relation.

From Condition for Composite Relation with Inverse to be Identity, it follows that:
 * $\RR^{-1} \circ \RR = I_S$

and:
 * $\RR \circ \RR^{-1} = I_T$

Hence the result.