1. ## Sets and functions

Let f : A -> B be a function and K subset of B. Prove that f(f^-1(K)) = K intersection Image(f).

How do we prove equations like these without using venn diagrams?�^^^6sugwerwerfwewe(K)) = K \ Im(f).

2. Originally Posted by alphonsas
Let f : A -> B be a function and K subset of B. Prove that f(f^-1(K)) = K intersection Image(f).

How do we prove equations like these without using venn diagrams?
You prove equality $\scriptstyle f(f^{-1}(K))=K\cap \mathrm{Im}(f)$ of sets in two steps: first, you prove $\scriptstyle f(f^{-1}(K))\subseteq K\cap \mathrm{Im}(f)$, then you prove $\scriptstyle f(f^{-1}(K))\supseteq K\cap \mathrm{Im}(f)$.

That approach should work reasonably well for your problem, provided you know how $\scriptstyle f$ and $\scriptstyle f^{-1}$, applied to sets, are defined. $\scriptstyle \mathrm{Im}(f)$ is just $\scriptstyle f(A)$, of course.