Encyclopedia

Range of a function

Subset of a function's codomain

Wikipedia contributorsAdapted for Fathomly · View authors

2 min read
Source updated September 1, 2026

In mathematics, the range of a function may refer to either of two closely related concepts:

the codomain of the function, or
the image of the function.

In some cases the codomain and the image of a function are the same set; such a function is called surjective or onto. For any non-surjective function $f:X\to Y,$ the codomain $Y$ and the image ${\tilde {Y}}$ are different; however, a new function can be defined with the original function's image as its codomain, ${\tilde {f}}:X\to {\tilde {Y}}$ where ${\tilde {f}}(x)=f(x).$ This new function is surjective.

01Definitions

Given two sets X and Y, a binary relation f between X and Y is a function (from X to Y) if for every element x in X there is exactly one y in Y such that f relates x to y. The sets X and Y are called the domain and codomain of f, respectively. The image of the function f is the subset of Y consisting of only those elements y of Y such that there is at least one x in X with f(x) = y.

02Usage

As the term "range" can have different meanings, it is considered a good practice to define it the first time it is used in a textbook or article. Older books, when they use the word "range", tend to use it to mean what is now called the codomain. More modern books, if they use the word "range" at all, generally use it to mean what is now called the image. To avoid any confusion, a number of modern books don't use the word "range" at all.

03Elaboration and example

Given a function

$f\colon X\to Y$

with domain $X$ , the range of $f$ , sometimes denoted $\operatorname {ran} (f)$ or $\operatorname {Range} (f)$ , may refer to the codomain or target set $Y$ (i.e., the set into which all of the output of $f$ is constrained to fall), or to $f(X)$ , the image of the domain of $f$ under $f$ (i.e., the subset of $Y$ consisting of all actual outputs of $f$ ). The image of a function is always a subset of the codomain of the function.

As an example of the two different usages, consider the function $f(x)=x^{2}$ as it is used in real analysis (that is, as a function that inputs a real number and outputs its square). In this case, its codomain is the set of real numbers $\mathbb {R}$ , but its image is the set of non-negative real numbers $\mathbb {R} ^{+}$ , since $x^{2}$ is never negative if $x$ is real. For this function, if we use "range" to mean codomain, it refers to $\mathbb {\displaystyle \mathbb {R} ^{}}$ ; if we use "range" to mean image, it refers to $\mathbb {R} ^{+}$ .

For some functions, the image and the codomain coincide; these functions are called surjective or onto. For example, consider the function $f(x)=2x,$ which inputs a real number and outputs its double. For this function, both the codomain and the image are the set of all real numbers, so the word range is unambiguous.

Even in cases where the image and codomain of a function are different, a new function can be uniquely defined with its codomain as the image of the original function. For example, as a function from the integers to the integers, the doubling function $f(n)=2n$ is not surjective because only the even integers are part of the image. However, a new function ${\tilde {f}}(n)=2n$ whose domain is the integers and whose codomain is the even integers is surjective. For ${\tilde {f}},$ the word range is unambiguous.

Watch videos about Range of a functionExplainers and documentaries on YouTube (opens in a new tab)

Sources and credits

This article is adapted from the Wikipedia article “Range of a function”, written by its contributors and licensed under CC BY-SA 4.0. Fathomly has changed the layout, removed citation markers, navigation and maintenance notices, and adjusted punctuation. This adapted version is shared under the same license. For references, see the original article.

Images, from Wikimedia Commons:

Codomain2.SVG by en:User:Nguyen Huu Phuoc ([[:en:User talk:Phuoc Nguyen]talk]]), Public domain

Fathomly is not affiliated with or endorsed by the Wikimedia Foundation. Spotted a problem? Tell us.

Range of a function

01Definitions

02Usage

03Elaboration and example

Sources and credits

Related topics

Bijection, injection and surjection

Essential range