Assertion: function | /r/HasProperty | unique
Facets:
value: from the domain
type: OTHER
value: to the range
type: OTHER
value: within the database
type: LOCATION
Source sentences:
text: Specific name - a name for the function that is unique within the database.
text: A function is a unique mapping from the domain (the inputs) to the range (the outputs).
text: A function is a binary relation that is functional (also called right-unique) and serial (also called left-total).