Assertion: filter | /r/HasProperty | cauchy
Facets:
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.