An involution is an endomorphism (or antiendomorphism) whose square is the identity morphism. Such an endomorphism must be an automorphism (or antiautomorphism); indeed, it is its own inverse.