saturated (set)If p:X⟶Y is a surjective map, we say that a subset C⊆X is saturated (with respect to p) if C contains every set p-1({y}) it intersects. Equivalently, C is saturated if it is a union of fibres.