Inversion Mapping is Permutation

Theorem
Let $\struct {G, \circ}$ be a group.

Let $\iota: G \to G$ be the inversion mapping on $G$.

Then $\iota$ is a permutation on $G$.