List of Axioms

• identity, neutral, unit

• associativity

  • left-associative

  • right-associative

  • fully-associative, total associativity

  • non-associative

• commutativity

• idempotency

• invertibility, inverse

• closure, totality

• distributivity