A monoid is an algebraic structure consisting of a nonempty set and an associative binary operation closed on that set with an identity element for all elements in the set.
Commutative monoid[]
A commutative monoid (or abelian monoid) is a monoid with a binary operation that also satisfies commutativity on the set.