Assertion: filter | /r/MadeOf | ultrafilter
Facets:
value: properly
type: MANNER
Source sentences:
text: This implies that any filter that properly contains an ultrafilter has to be equal to the whole poset.