We do not currently know of any antonyms for preimage.
The noun preimage is defined as:
The set containing exactly every member of the domain of a function such that the member is mapped by the function onto an element of a given subset of the codomain of the function. Formally, of a subset B of the codomain Y under a function ƒ, the subset of the domain X defined by