Definition:Complete Metric Space/Definition 2

Definition
A metric space $M = \left({A, d}\right)$ is complete the intersection of every nested sequence of closed balls whose radii tend to zero is non-empty.

Equivalence of Definitions

 * Equivalence of Definitions of Complete Metric Space