Assertion: function | /r/HasProperty | binary relation
Facets:
Source sentences:
text: A function is a binary relation that is functional and serial.
text: Since all functions are binary relations, it is correct to use the [fat] semicolon for function composition as well (see the article on composition of relations for further details on this notation).
text: A function is a binary relation that is functional (also called right-unique) and serial (also called left-total).