餘_monoid