The image of the union is the union of the images

up:: Image of Function

Let be a function and subsets .

Then let a point in ‘s Image. Then

By the definition of the image of a function, we have that

Thus, and .

Therefore, .