Definition:Ordered Semigroup