Definition:Range of Relation/Codomain

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

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

Also see

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