Given , the image of
is
.
The preimage of
is then
, or all
whose image is
. Images are elements of the range, while preimages are subsets
(possibly empty) of the domain.
Preimage
Portions of this entry contributed by Todd Rowland
Explore with Wolfram|Alpha
Cite this as:
Rowland, Todd and Weisstein, Eric W. "Preimage." From MathWorld--A Wolfram Web Resource. https://mathworld.wolfram.com/Preimage.html