From ProofWiki
Jump to navigation Jump to search

This category contains results about Involutions in the context of Mapping Theory.
Definitions specific to this category can be found in Definitions/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$.