Assertion: surjective function | /r/HasProperty | right-unique
Facets:
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.