Assertion: filter | /r/MadeOf | the filter
Facets:
Source sentences:
text: If B and C are filter bases, then C is finer than B if and only if the filter spanned by C contains the filter spanned by B .
text: and are filter bases, then is finer than if and only if the filter spanned by contains the filter spanned by .