Category:Definitions/Multifunctions

From ProofWiki
Jump to navigation Jump to search

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


A multifunction is a left-total relation $\RR$ which is specifically not many-to-one or one-to-one.

That is, for each element $s$ of the domain of $\RR$, there exists more than one $t$ in the codomain of $\RR$ such that $\tuple {s, t} \in \RR$.