Complete Metric Spaces

Definition.

A metric space E is complete

if every Cauchy sequence of points of E converges to a point of E.

See ita-3-4-13-page52.