Assertion: filter | /r/DefinedAs | minimum filter
Facets:
value: given a filter base b
type: OTHER
Source sentences:
text: Given a filter base B, the filter generated or spanned by B is defined as the minimum filter containing B.