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.

Also see

 * Axiom:Monoid Axioms
 * Axiom:Group Axioms