>>13553119There are a few names I've seen for it:
>a multi-valued function>a multifunction>a total relationOther people have said
>set-valued functionwhich is not quite it because having two outputs is not the same as having the set as output, and
>relationwhich is missing the information that every has at least one (i.e. that it is 'total')