Assertion: set | /r/AtLocation | set builder notation
Facets:
Source sentences:
text: The set Y obtained from this axiom is exactly the set described in set builder notation as { x ∈ E ∣ Φ ( x ) } {\displaystyle \{x\in