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