Definition:Naturally Ordered Semigroup

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

Also see

 * Naturally Ordered Semigroup Axioms are Independent


 * Naturally Ordered Semigroup Axioms imply Commutativity