Source: /cirosantilli/codomain

= Codomain
{wiki}

Vs: <image (mathematics)>: the codomain is the set that the function might reach.

The <image (mathematics)> is the exact set that it actually reaches.

E.g. the function:
$$
f(x) = x^2
$$
could have:
* codomain $\R$
* image $\R_{+}$

Note that the definition of the codomain is somewhat arbitrary, e.g. $x^2$ could as well technically have codomain:
$$
\R \bigcup \R^2
$$
even though it will obviously never reach any value in $\R^2$.

The exact image is in general therefore harder to characterize.