Involution
This article defines a property of elements in groups
Definition
Symbol-free definition
An element in a group is termed an involution if its order is exactly two, viz if it is a nonidentity element and its square is the identity element.
Definition with symbols
An element in a group (with identity element ) is termed an involution if and .