Assertion: set's member | /r/HasProperty | the elements of e
Facets:
value: exactly
type: DEGREE
Source sentences:
text: Instead, there is a set existence axiom scheme, which states that if E is a set and Φ(x) is a formula in the language of set theory, then there is a set Y whose members are exactly the elements of E that satisfy Φ: