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