A *multifunction* is a function of several variables, hence equivalently an ordinary function on a cartesian product.

Sets with multifunctions as morphisms between them form a multicategory.

Last revised on February 11, 2023 at 13:21:39. See the history of this page for a list of all contributions to it.