https://en.wikipedia.org/wiki/Complete_metric_space Complete metric space In mathematical analysis, a metric space M is called complete (or a Cauchy space) if every Cauchy sequence of points in M has a limit that is also in M. Intuitively, a space is complete if there are no "points missing" from it (inside or at the boundary). For instance, the set of rational numbers is not complete, because e.g. √2 is "missing" from it, even though one can construct a Cauchy sequence of rational numbers that converges to it (see further examples below