Category:Naturally Ordered Semigroup is Unique