Assertion: set's element | /r/CapableOf | satisfy given criterion
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.