Ordering monoid