The injective image of intersections is the intersection of images

up:: The image of the intersection is contained in the intersection of the images

When is an Injective Function, we have, in particular, that¹

thus proving the reciprocal .

Footnotes

1. That is due to . ↩