Page "Equivalence relation" Paragraph 76

* Existence of inverse function.

Every bijective function g has an inverse g < sup >− 1 </ sup >, such that gg < sup >− 1 </ sup > = I ;