\begin{definition}[Definition:Involution (Mapping)/Definition 2]
Let $A$ be a set.
Let $f: A \to A$ be a mapping on $A$.
$f$ is an '''involution''' {{iff}}:
:$\forall x, y \in A: \map f x = y \implies \map f y = x$
\end{definition}