Assertion: set | /r/HasProperty | \displaystyle \{x\in
Facets:
Source sentences:
text: The principal filter for p is just given by the set { x ∈ P | p ≤ x } {\displaystyle \{x\in