Group axioms (source code)

= Group axioms
{wiki=Group_(mathematics)#Definition}

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