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.