rm monoid