Assertion: function's domain | /r/HasProperty | set x.
Facets:
Source sentences:
text: Let f be a function whose domain is a set X.