monoid

In abstract algebra, a monoid is a semigroup that has an identity element. In addition to satisfying closure and associativity, there exists an element e in monoid S such that for every element a in S :

e • a = a • e = a.

The identity element of a monoid is unique.