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.