Assertion: set's element | /r/HasProperty | large
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.