تابع چندمقداری

Also known as multifunction, many-valued function, set-valued function, set-valued map, point-to-set map, multi-valued map, multimap, carrier

binary relation, which is left-total, but may not be right-unique ; isomorph to another function from the same source set, but to the power set of the codomain of the initial function