Inversion Mapping is Permutation

Theorem
Let $\left({G, \circ}\right)$ be a group.

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

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