Category:Definitions/Mappings

From ProofWiki
Jump to navigation Jump to search

This category contains definitions related to 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$.