created OrderedSemigroup object