Assertion: function | /r/HasProperty | a set of ordered pairs
Facets:
Source sentences:
text: X, Y are parts of data defining a function; i.e., a function is a set of ordered pairs ( x , y )