If is a surjective map, we say that a subset is saturated (with respect to p) if contains every set it intersects. Equivalently, is saturated if it is a union of fibres.