Definition:Range of Relation/Warning

From ProofWiki
Jump to navigation Jump to search

Range of Relation: Warning

Because of the ambiguity in definition, it is advised that the term range not be used in this context at all.

Instead that the term Codomain or Image be used as appropriate.

This is the approach to be taken consistently in $\mathsf{Pr} \infty \mathsf{fWiki}$.