Assertion: function | /r/HasProperty | defined on subsets of x
Facets:
Source sentences:
text: X ⇸ Y from a set X to a set Y, denoted by [X ⇸ Y], is the union of all functions defined on subsets of X with same codomain Y: