浸润子集

saturated subset