Monoid

Monoid

  • Semigroup
  • Identity axiom: ∃a unique identity element e ∈ S such that ∀a ∈ S: a ∗ e = e ∗ a = a
    • Has identity element respect to *