Definition:Range of Relation

From ProofWiki
Jump to navigation Jump to search

This page is about Range of Relation. For other uses, see Range.


Let $\RR \subseteq S \times T$ be a relation, or (usually) a mapping (which is, of course, itself a relation).

The range of $\RR$, denoted is defined as one of two things, depending on the source.

On $\mathsf{Pr} \infty \mathsf{fWiki}$ it is denoted $\Rng \RR$, but this may be non-standard.

Range as Codomain

The range of $\RR$ can be defined as $T$.

As such, it is the same thing as the term codomain of $\RR$.

Range as Image

The range of $\RR$ can be defined as:

$\Rng \RR = \set {t \in T: \exists s \in S: \tuple {s, t} \in \RR}$

Defined like this, it is the same as what is defined as the image of $\RR$.


Because of the ambiguity in definition, it is advised that the term range not be used in this context at all.

Instead that the term Codomain or Image be used as appropriate.

This is the approach to be taken consistently in $\mathsf{Pr} \infty \mathsf{fWiki}$.

Also denoted as

Some sources use the notation $\map {\mathrm {Ran} } \RR$ for the range of a relation (or the same all in lowercase).

Some sources use $\map {\mathsf {Ran} } \RR$.

Some use $R_\RR$.

Also see


Those that define $\Rng \RR$ as image:

Those that define $\Rng \RR$ as codomain:

Those which do not use the term at all, but use codomain and image instead:

also offering up range as a synonym for both codomain and image

Some sources brush the question aside by refraining from giving a name to this concept at all:

A map or function (the terms are used interchangeably) between sets $A, B$ is written $f: A \to B$.
We call $A$ the domain of $f$, and we avoid calling $B$ anything.