The preimage of the complement is the complement of the preimage

up:: Preimage of Function

Let a function, and .

Let . Then, by definition of a Set Complement,

Thus, .