Function images preserve subset ordering

up:: Image of Function

Let be a function, and .

Let . Then

Thus, images preserve subset ordering.