If $p: X \longrightarrow Y$ is a surjective map, we say that a subset $C \subseteq 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.