Assertion: function's element | /r/HasProperty | the function x
Facets:
Source sentences:
text: If the domain X = ∅ X has only one element, then the function X →