Complete metric space

A complete metric space is a metric space in which every Cauchy sequence converges. Every metric space has a completion.