Mir ist bekannt, dass man f-1 (B)= { x∈X: f(x)∈B} so beschreiben kann.
Also f(f−1(B))=f({x∈X∣ f(x)∈B})={f(x)∣ x∈{x∈X∣ f(x)∈B}}.
Für jedes y∈{f(x)∣ x∈{x∈X∣ f(x)∈B}} folgt also y=f(x) für ein x∈{x∈X∣ f(x)∈B}.
Da x∈{x∈X∣ f(x)∈B} folgt also y=f(x)∈B, also f(f−1(B))⊆B.