Assertion: partial function | /r/HasProperty | binary relation
Facets:
value: over two sets
type: OTHER
value: in mathematics
type: OTHER
Source sentences:
text: A partial function is a binary relation that is functional.
text: In mathematics, a partial function is a binary relation over two sets that associates to every element of the first set at most one element of the second set.