Ein metrischer Raum M {\displaystyle {}M} heißt vollständig, wenn jede Cauchy-Folge in M {\displaystyle {}M} konvergiert.