Category:Examples of Ordered Semigroups