partially ordered monoid