Glossary

Group

  • Monoid
  • Inverse 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