 Group axioms

The group axioms require closure and associativity of the binary operation, an identity element, and an inverse for every element.