The image of a map (a.k.a. function, transformation, etc.) is the set of values attained
as its argument varies over the domain
. It is also called the range of
and is written
More generally, the image of a subset is
(Halmos 1974, p. 31). The image
is a subset
of the codomain
and need not equal
.
If the domain of a function contains an interval
, then
denotes the image of that interval.
Formally,