Monoid SemigroupIdentity axiom: ∃a unique identity element e ∈ S such that ∀a ∈ S: a ∗ e = e ∗ a = a Has identity element respect to *