Category:Definitions/Codomains (Relation Theory)

From ProofWiki
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).


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

It can be denoted $\Cdm \RR$.


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$.