\begin{definition}[Definition:Ordering on Natural Numbers/Naturally Ordered Semigroup]
Let $\struct {S, \circ, \preceq}$ be a naturally ordered semigroup.
The relation $\preceq$ in $\struct {S, \circ, \preceq}$ is called the '''ordering'''.
Category:Definitions/Naturally Ordered Semigroup
Category:Definitions/Ordering on Natural Numbers
\end{definition}