# 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