Definition:Ordering on Naturally Ordered Semigroup