From ProofWiki
Jump to navigation Jump to search

This category contains definitions related to Mappings.
Related results can be found in Category:Mappings.

A mapping from $S$ to $T$ is a binary relation on $S \times T$ which associates each element of $S$ with exactly one element of $T$.


This category has the following 8 subcategories, out of 8 total.