From ProofWiki
Jump to navigation Jump to search

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

$f: A \to A$ is an involution precisely when:

$\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$.