An involution is a mapping which is its own inverse.
That is, if $f: A \to A$ is an involution, then: