EntityQ1322856· pop 8correspondencebinary relation which is left-total and right-total (but not necessarily left-unique or right-unique)