# Category:Definitions/Self-Inverse Elements

$x$ is a self-inverse element of $\struct {S, \circ}$ if and only if $x \circ x = e$.