Veamos ahora el contenido de derecha a izquierda. Si y ∈ ⋃ f (Ai), entonces existe un ı́ndice i0 tal que y ∈ f (Ai0) lo cual implica que existe x ∈...

Veamos ahora el contenido de derecha a izquierda. Si y ∈ ⋃ f (Ai), entonces existe un ı́ndice i0 tal que y ∈ f (Ai0) lo cual implica que existe x ∈ Ai0 tal que y = f(x). Pero x ∈ ⋃ Ai, luego y ∈ f ( ⋃ Ai) .