preimage commutes with unions
1. Satz
Seien \(X,Y\) Mengen, \(f: X \rightarrow Y\) eine Abbildung und \(Y_i\) ein e Familievon Teilmengen von \(Y\) Dann gilt:
\begin{align*} f^{-1}[\bigcup_{i \in I} Y_i] = \bigcup_{i \in I} f^{-1}[Y_i] \end{align*}