Axiom:Semigroup Axioms

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

These stipulations can be referred to as the semigroup axioms.