Assertion: filter | /r/HasProperty | proper
Facets:
value: say in that case
type: OTHER
Source sentences:
text: A filter is proper if it is not equal to the whole set
text: This filter is proper if and only if every finite intersection of elements of T is non-empty, and in that case we say that T is a filter subbase.