Definition:Codomain (Relation Theory)/Relation

Definition
The codomain of a relation $\RR \subseteq S \times T$ is $T$.

It can be denoted $\Cdm \RR$.

Also known as
The term codomain is seen in some sources (older, and those coming from the direction of logic) as converse domain, from which the more modern term codomain evolved.

Some sources write codomain as co-domain.

Also defined as
Some sources define the codomain as the image.

This non-standard usage is discouraged on because of the source of ambiguity.

Also see

 * Definition:Domain of Relation
 * Definition:Range of Relation


 * Definition:Image of Relation
 * Definition:Preimage of Relation