The preimage of the intersection is the intersection of the preimages

up:: Preimage of Function

Let $f:X\to Y$ be a function and subsets $C,D\subset Y$.

Then let $x\in f^{-1}(C\cap D)$ a point in $f$‘s preimage. Then

$$x\in f^{-1}(C\cap D)⟺f(x)\in C\cap D⟺(f(x)\in C)\wedge (f(x)\in f(D))$$

By the definition of the preimage of a function, we have that

$$y\in f^{-1}(C\cap D)⟺(x\in f^{-1}(C))\wedge (x\in f^{-1}(D))⟺y\in f^{-1}(C)\cap f^{-1}(D)$$

Thus, $f^{-1}(C\cap D)\subseteq f^{-1}(C)\cap f^{-1}(D)$ and $f^{-1}(C\cap D)\supseteq f^{-1}(C)\cap f^{-1}(D)$.

Therefore, $f^{-1}(C\cap D)=f^{-1}(C)\cap f^{-1}(D)$.