Assertion: filter | /r/HasAspect | a cluster point
Facets:
value: on a compact space
type: LOCATION
Source sentences:
text: A compact uniform space is complete: on a compact space each filter has a cluster point, and if the filter is Cauchy, such a cluster point is a limit point.