Involution


Definition

A unary function \(f\), on a set \(S\), is an involution if and only if: $$\forall x \in S : f(f(x)) = x$$
THEOREM   

Integer negation is an involution.

$$\forall x \in \mathbb{Z} : -(-x) = x$$

Proof available