saturated set quotient map