Preimages preserve subset ordering

up:: Preimage of Function

Let be a function, and .

Let . Then

Thus, preimages preserve subset ordering.