We are using cookies This website uses cookies in order to offer you the most relevant information. By browsing this website, you accept these cookies.
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.