Axiom:Monoid Axioms

Definition
A monoid is an algebraic structure $\struct {S, \circ, e_S}$ 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

 * Axiom:Semigroup Axioms
 * Axiom:Group Axioms