Involution

Sei \(A\) eine Menge und \(f: A \rightarrow A\). \(f\) ist eine Involution, wenn gilt:

\begin{align*} f \circ f =& id_A \end{align*}