In
mathematics, an
image is the
subset of a
function's
codomain which is the output of the function on a subset of its
domain. Precisely evaluating the function at each element of a subset X of the domain produces a set called the image of X
under or through the function. The
inverse image or
preimage of a particular subset
S of the
codomain of a function is the set of all elements of the domain that map to the members of
S.