Definition:Naturally Ordered Semigroup

Definition
The concept of a naturally ordered semigroup is intended to capture the behaviour of $\N$, and $+$ and $\le$ as they pertain to $\N$.

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