the
image of a
function is the
set of all actual output values. it is a subset of the
codomain.
assuming a function

,

, if

then

is called the
image of

and

is an element of the
preimage of


note that

here denotes the
domain of the function and

the
codomain[cite:@tao_analysis_1]