EN
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 metric space equipped with Hausdorff distance to be cofinally complete.