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