Category:Definitions/Involutions

This category contains definitions related to Involutions in the context of Mapping Theory.
Related results can be found in Category:Involutions.

$f$ is an involution if and only if:

$\forall x \in A: \map f {\map f x} = x$

That is:

$f \circ f = I_A$

where $I_A$ denotes the identity mapping on $A$.