Involution

An involution is a function whose inverse is itself.

Examples

The function $y(x)=x$ has the inverse $x(y)=y$ , which is the same function, and thus $f(x)=x$ is an involution.
The logical NOT is an involution because $\neg { \neg p} \equiv p$ .
The additive negation is an involution because $--x=x$ .
The multiplicative inverse is an involution because $\frac{1}{\frac{1}{x}}=x$ . In fact, for any $n \neq 0, f(x)=\frac{n}{x}$ is an involution.