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
--Agreed Upon Solutions
The discussion does not exist would you like to add the first comment?