Complete metric space

Definition
A complete metric space is a metric space in which every Cauchy sequence is convergent.

Stronger properties

 * Compact metric space