Sei \(y \in f(M_1\cap M_2)\). Es genügt zu zeigen, dass \(y \in f(M_1)\cap f(M_2)\) ist.
Sei dazu \(x \in M_1\cap M_2\) mit
(1) \(f(x) = y\).
Ein solches \(x\) existiert laut Definition "Bild einer Menge".
Dann ist \(x\in M_1\) laut Definition von \(\cap\), also
(2) \(f(x) \in f(M_1)\)
und \(x\in M_2\) laut Definition von \(\cap\), also
(3) \(f(x) \in f(M_2)\).
Wegen (2) und (3) ist
(4) \(f(x) \in f(M_1)\cap f(M_2)\)
laut Definition von \(\cap\). Wegen (1) und (4) ist
\(y \in f(M_1)\cap f(M_2)\).