Cofinal completeness of the Hausdorff metric topology
A net in a Hausdorff uniform space is called cofinally Cauchy if for each entourage, there exists a cofinal (rather than residual) set of indices whose corresponding terms are pairwise within the entourage. In a metric space equipped with the associated metric uniformity, if each cofinally Cauchy sequence has a cluster point, then so does each cofinally Cauchy net, and the space is called cofinally complete. Here we give necessary and sufficient conditions for the nonempty closed subsets of the...