Definition:Ordering on Natural Numbers/Naturally Ordered Semigroup

Definition
Let $\left({S, \circ, \preceq}\right)$ be a naturally ordered semigroup.

The relation $\preceq$ in $\left({S, \circ, \preceq}\right)$ is called the ordering.