quotient semigroup

Мат. фактор-полугруппа