In
mathematics, a
multivalued function (short form:
multifunction; other names:
many-valued function,
set-valued function,
set-valued map,
point-to-set map,
multi-valued map,
multimap,
correspondence,
carrier) is a
left-total relation (that is, every
input is associated with at least one output) in which at least one input is associated with multiple (two or more) outputs.