Definition:One of Naturally Ordered Semigroup