Quotient semigroup