Vamos a probar quef(A∩B\ subseteq f (A)\ cap f (B)\) demostrando que para todosy∈T, siy∈f(A∩B), entoncesy∈f(A)∩f(B). En el caso dondef(x)∈C, concluim...Vamos a probar quef(A∩B\ subseteq f (A)\ cap f (B)\) demostrando que para todosy∈T, siy∈f(A∩B), entoncesy∈f(A)∩f(B). En el caso dondef(x)∈C, concluimos esox∈f−1(C), y de ahí esox∈f−1(C)∪f−1(D). Entonces en ambos casosx∈f−1(C)∪f−1(D),, y hemos demostrado quef−1(C∪D)⊆f−1(C)∪f−1(D)