Assertion: set's property | /r/HasProperty | given by formula
Facets:
Source sentences:
text: A property is given by a formula \(\varphi\) of the first-order language of set theory.