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