up:: 020 MOC Mathematics Given a function and a subset , we have that its preimage is the set of all points in ‘s domain mapping onto it. Formally, it is When talking about points in the preimage of some subset, Properties The preimage of the union is the union of the preimages The preimage of the intersection is the intersection of the preimages The preimage of the complement is the complement of the preimage