Nimm dir ein \(y\in f(A_1)\backslash f(A_2)\) und zeige, dass
es in \(f(A_1\backslash A_2)\) liegt:
\(y\in f(A_1)\backslash f(A_2) \Rightarrow y\in f(A_1) \wedge y\notin f(A_2)\Rightarrow\)
\(\exists x\in A_1\) mit \(f(x)=y\) und für dieses \(x\) gilt \(x\notin A_2\),
d.h. \(y=f(x)\) mit einem \(x\in A_1\backslash A_2\) ...