Definition 4.11.1 (Saturated). Let $X, Y$ be sets, $f: X \to Y$ be surjective, and $E \subset X$, then $E$ is saturated with respect to $f$ if $E = f^{-1}(f(E))$.
Definition 4.11.1 (Saturated). Let $X, Y$ be sets, $f: X \to Y$ be surjective, and $E \subset X$, then $E$ is saturated with respect to $f$ if $E = f^{-1}(f(E))$.