Equivalence of Definitions of Self-Inverse

Theorem
Let $\left({S, \circ}\right)$ be a monoid whose identity is $e_S$.

Let $x \in S$.

$x \circ x = e_S$.

Then $x = x^{-1}$.

Such an $x$ is said to be self-inverse.

Also see

 * Definition:Self-Inverse