Definition:Codomain (Relation Theory)/Mapping

Definition
Let $S$ and $T$ be sets.

Let $f: S \to T$ be a mapping.

The codomain of $f$ is $T$.

It is denoted on by $\Cdm f$.

Also known as
The codomain of a mapping is sometimes called the arrival set.

On rare occasions, the codomain is referred to as the target.

Some sources write codomain as co-domain.

Also see

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


 * Definition:Image Set of Mapping
 * Definition:Preimage of Mapping