e/Ordered semigroup

Information
has gloss	eng: In mathematics, an ordered semigroup is a semigroup (S,•) together with a partial order ≤ that is compatible with the semigroup operation, meaning that x ≤ y implies z•x ≤ z•y and x•z ≤ y•z for all x, y, z in S.
lexicalization	eng: Ordered semigroup
instance of	c/Ordered algebraic structures