Definition:Involution (Mapping)/Definition 2

Definition
Let $A$ be a set.

Let $f: A \to A$ be a mapping on $A$.

$f$ is an involution :
 * $\forall x, y \in A: \map f x = y \implies \map f y = x$

Also see

 * Equivalence of Definitions of Involutive Mapping