Category:Codomains (Relation Theory)

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


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

This category currently contains no pages or media.