Assertion: function's domain | /r/HasProperty | the codomain
Facets:
Source sentences:
text: Y} (function from X to Y) to represent the three parts of the function: the domain (x), the codomain (y) and the pairing process (the arrow).