| − | A '''complete metric space''' is a [[metric space]] in which every [[Cauchy sequence]] converges. Every metric space has a completion. | + | A '''complete metric space''' is a [[metric space]] in which every [[Cauchy sequence]] converges. Every metric space has a completion. An every completion has a metric space. |