Definition:Monoid

A semigroup with an identity is called a monoid.

That is, a monoid is an algebraic structure $$\left({S, \circ}\right)$$ with a which satisfies the following three properties:

The element $$e_S$$ is called the identity.

A monoid can not be empty, because it must at least have an identity.