Definition:Ordering on Natural Numbers/Naturally Ordered Semigroup

Definition

Let $\struct {S, \circ, \preceq}$ be a naturally ordered semigroup.

The relation $\preceq$ in $\struct {S, \circ, \preceq}$ is called the ordering.