Assertion: set | /r/HasProperty | b 0
Facets:
Source sentences:
text: For a filter base B , the set ∩{cl( B 0 ) : B 0 ∈ B } is the set of all cluster points of B (The closure of B 0 is cl( B 0 )).