Monoid

A monoid is a semigroup with an identity.

Remarks

In category theory, a monoid is a category with 1 object.