Axiom:Naturally Ordered Semigroup Axioms

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