Category:Definitions/Codomains (Relation Theory)
Jump to navigation
Jump to search
This category contains definitions related to codomains in the context of Relation Theory.
Related results can be found in Category: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 $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$.
Pages in category "Definitions/Codomains (Relation Theory)"
The following 9 pages are in this category, out of 9 total.