Category:Multifunctions

From ProofWiki
Jump to navigation Jump to search

This category contains results about Multifunctions.
Definitions specific to this category can be found in Definitions/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$.

This category currently contains no pages or media.