A group is a set
together with an operation
(called the group law of
) that combines any two elements
to form another element, denoted
. To qualify as a group, the set and operation
must satisfy four requirements known as the group axioms: closure, associativity, identity element, and inverse element. If
, then the group is commutative (or abelian).