Assertion: surjective function | /r/HasProperty | binary relation
Facets:
value: between x
type: LOCATION
value: between y
type: OTHER
Source sentences:
text: A surjective function with domain X and codomain Y is then a binary relation between X and Y that is right-unique and both left-total and right-total.