correspondence

Also known as total relation

binary relation which is left-total and right-total (but not necessarily left-unique or right-unique)