Assertion: filter | /r/CapableOf | include as member
Facets:
Source sentences:
text: Intuitively, a filter in a partially ordered set (poset), P, is a subset of P that includes as members those elements that are large enough to satisfy some given criterion.