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.