Definition:Naturally Totally Ordered Semigroup

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

Then $\left({S, \circ, \preceq}\right)$ is a naturally totally ordered semigroup.