Definition:Codomain (Relation Theory)

Relation
The codomain of a relation $$\mathcal R \subseteq S \times T$$ is the set $$T$$.

Mapping
The term codomain is usually seen when the relation in question is actually a mapping.

Some sources, for example, also refer to the codomain as the arrival set.

A note on terminology
Some sources refer to the codomain of a relation or mapping as its range.

However, other sources equate the term range with the image set.

Other sources brush the question aside by refraining from giving the codomain a name at all.

As there exists significant ambiguity as to whether the range is to mean the codomain or image set, it is advised that the term range is not used.

Also see

 * Domain
 * Range


 * Image
 * Preimage