Axiom:Ordered Semigroup Axioms

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

These stipulations can be referred to as the ordered semigroup axioms.