Assertion: set | /r/HasProperty | filter
Facets:
Source sentences:
text: For example, if x is an element of the poset, then the set of elements that are above x is a filter, called the principal filter at