Definition

A Metric Space is complete If and only if every Cauchy Sequence on converges to an element of .

Facts

Consider a complete Metric Space and a subspace . The subspace is complete if and only if is a closed set.