Sexa x ∈ A. Daquela, f(x) ∈ f(A) e, pois, por definición de imaxe recíproca, x∈f^-1(f(A)).