Axiom:Naturally Ordered Semigroup Axioms

Definition
A naturally ordered semigroup is a (totally) ordered commutative semigroup $\left({S, \circ, \preceq}\right)$ satisfying: