Category:Naturally Ordered Semigroup