Monoid is not Empty

Theorem
A monoid can not be empty.

Proof
From the definition of a monoid:


 * 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 can not be empty.