Category:Definitions/Naturally Ordered Semigroup