\begin{definition}[Definition:Naturally Ordered Semigroup]
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$.
\end{definition}