Ordering is a Monoid