serial relation
binary relation such that every element of the left set has a corresponding element in the right set
multivalued function
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
correspondence
binary relation which is left-total and right-total (but not necessarily left-unique or right-unique)