A group is a Set that satisfies the axioms of a group.

Axioms

  1. Closure:
  2. Associativity:
  3. Identity:
  4. Inverse: