Self-inverse (involution): consider function f over input set S, with outputs over output set S', a subset of S: f(S) = S'.
Now repeat the operation: f(f(S)) = S'' where S'' is a subset of S'. But since f(f(x)) = x, S'' = S, and thus, S' = S.
The ouputs of f span the entire range of inputs of...