Monoid is not Empty

Theorem
A monoid cannot be empty.

Proof
Let $\left({S, \circ}\right)$ be a the monoid.

By definition:


 * Identity: $\exists e_S \in S: \forall a \in S: a \circ e_S = a = e_S \circ a$

So a monoid must at least have an identity.

Therefore $e_S \in S$ and so $S$ is not the empty set.