Assertion: filter | /r/HasProperty | a subset of p
Facets:
value: intuitively
type: MANNER
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.