Group MonoidInverse axiom: ∀ a ∈ S : ∃ a unique inverse element a’ ∈ S such that a∗a’ = a’∗a = e Every element of S has and inverse element in S