Axiom:Semigroup Axioms

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

These stipulations can be referred to as the semigroup axioms.