up:: Preimage of Function Let be a function and subsets . Then let a point in ‘s preimage. Then By the definition of the preimage of a function, we have that Thus, and . Therefore, .