Definition:Right Naturally Totally Ordered Semigroup

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

Then $\left({S, \circ, \preceq}\right)$ is a right naturally totally ordered semigroup iff for all $a, b \in S$:


 * $a < b$ implies that for some $x \in S$, $b = a \circ x$.