Category:Involutions

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