Quotient monoid