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