Definition:Monoid

A semigroup with an identity is called a monoid.

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