Definition:Monoid

Definition
A semigroup with an identity is called a monoid.

That is, a monoid is an algebraic structure $$\left({S, \circ}\right)$$ 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.