The injective image of complements is the complement of images

up:: The image of the complement contains the complement of the images

Note that, by the definition of an Injective Function, we have that¹

thus proving the reciprocal .

Footnotes

1. That is due to . ↩