z.B.
\( f^{-1}\left(\bigcup_{i \in I} N_{i}\right)=\bigcup_{i \in I} f^{-1}\left(N_{i}\right) \quad \)
Etwa so: Sei \( x ∈ f^{-1}\left(\bigcup_{i \in I} N_{i}\right) \)
==> Es gibt ein \( y ∈ \bigcup_{i \in I} N_{i} \) mit f(x)=y
==> Es gibt ein i ∈ I mit y∈Ni und f(x)=y
==> Es gibt ein i ∈ I mit y∈ f^(-1)(Ni)
==> \( x ∈ \bigcup_{i \in I} f^{-1}\left(N_{i}\right) \quad\)
Also ist schon mal gezeigt
\( f^{-1}\left(\bigcup_{i \in I} N_{i}\right) \subseteq \bigcup_{i \in I} f^{-1}\left(N_{i}\right) \quad \)
Die andere Inklusion geht entsprechend.