multivalued function, multifunction, carrier, or point- to-set mapping, n. a mapping that associates a number of different elements of the second set with the same element of the first; a mapping from a set into the power set of another set. A one-many relation is thus regarded as a function under which the image of a given argument is the set of its distinct images under the relation. See also correspondence.