Assertion: filter's property | /r/HasProperty | closed under finite intersection
Facets:
Source sentences:
text: A filter base (or filter basis) is a subset B of P(S) with the properties that B is non-empty and the intersection of any two members of B includes (as a subset) a member of B (B is closed under finite intersection).