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.