Et metrisk rom sies å være dersom en hver Cauchyfølge konvergerer mot et element som også ligger i . Alle lukkede mengder av komplette rom utgjør også i seg selv et komplett rom.