Axiom:Semigroup Axioms

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

These stipulations can be referred to as the semigroup axioms.