f(f^{-1}(B)) ⊆ B
Der klassische Weg solche Inklusionen nachzuweisen ist ja:
Sei y ∈ f(f^{-1}(B)). Dann gibt es ein x ∈ f^{-1}(B) mit f(x)=y.
Zu diesem x gibt es ein z ∈ B mit f(x)= z. #
Da f eine Abbildung ist und f(x) = y und f(x) = z
folgt y = z , also y ∈ B wegen #.
Für das Gegenbeispiel betrachte f : ℕ ------> ℕ , x → 2x
mit A=ℕ und B=ℕ
Dann ist f-1(B)= A ; denn nicht alle Elemente von B haben ein
Urbild, aber die Menge aller Urbilder ist ganz A.
Und f(f-1(B)) = f(A) = Menge aller geraden Zahlen.
Also ist z.B. 3 zwar in B aber nicht in f(f-1(B)) .