Assertion: function | /r/HasProperty | given in this article
Facets:
Source sentences:
text: The definition of a function that is given in this article requires the concept of set, since the domain and the codomain of a function must be a set.