Group axioms (source code)

= Group axioms

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