multi-valued function

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.