Partially ordered monoid