Definition:Range of Relation/Image

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

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$.

Also see

 * Definition:Domain of Relation
 * Definition:Codomain of Relation
 * Definition:Image of Relation
 * Definition:Preimage