You are proving that the union of images is equal the image of a union.

Because you are working with images you are using existential operators.

Therefore it is best to prove each is a subset of the other.

If then . Then proceed to show that .

Then reverse the process.