Category:Codomains (Relation Theory)
Jump to navigation
Jump to search
This category contains results about codomains in the context of Relation Theory.
Definitions specific to this category can be found in Definitions/Codomains (Relation Theory).
Relation
The codomain of a relation $\RR \subseteq S \times T$ is $T$.
It can be denoted $\Cdm \RR$.
Mapping
The term codomain is usually seen when the relation in question is actually a mapping:
Let $S$ and $T$ be sets.
Let $f: S \to T$ be a mapping.
The codomain of $f$ is $T$.
It is denoted on $\mathsf{Pr} \infty \mathsf{fWiki}$ by $\Cdm f$.
This category currently contains no pages or media.