Et , også kalt et , er et metrisk rom der alle Cauchy-følger konvergerer, og grensen er også et element i . Eksempler på komplette metriske rom er de reelle, og komplekse tallene, endelige reelle og komplekse vektorrom, Lp-rom og Sobolev-rom.