ordered semigroup functions