06F05 - Order, lattices, ordered algebraic structures :: Ordered structures :: Ordered semigroups and monoids