surjective relation (Q19833078)
binary relation such that every element of the right set has a corresponding element in the left set
Language:
other details
aliases right-total relation
 right total relation
 onto relation
description binary relation such that every element of the right set has a corresponding element in the left set