Axiom:Monoid Axioms

Definition
A monoid is an algebraic structure $\left({S, \circ, e_S}\right)$ which satisfies the following properties:

The element $e_S$ is called the identity element.

These stipulations can be referred to as the monoid axioms.

Also see

 * Definition:Semigroup