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. |