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