surjective relation
binary relation such that every element of the right set has a corresponding element in the left set
correspondence
binary relation which is left-total and right-total (but not necessarily left-unique or right-unique)
binary relation such that every element of the right set has a corresponding element in the left set