\begin{definition}[Definition:Naturally Totally Ordered Semigroup]
Let $\struct {S, \circ, \preceq}$ be a right naturally totally ordered semigroup and a left naturally totally ordered semigroup.
Then $\struct {S, \circ, \preceq}$ is a '''naturally totally ordered semigroup'''.
\end{definition}