Monoid

Definition

Monoid

A Monoid $(M,\circ )$ is a semigroup with a neutral element:

$$\exists e\in M:\forall x\in M:x\circ e=e\circ x=x$$