Axiom:Ordered Semigroup Axioms

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

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