olemus
meetriline ruum, milles iga Cauchy jada koondub
= a metric space M is complete if every Cauchy sequence of points in M has a limit that is also in M

näiteid
reaalarvude meetriline ruum on täielik,
ratsionaalarvude meetriline ruum ei ole täielik

ülevaateid
https://en.wikipedia.org/wiki/Complete_metric_space
https://www.tau.ac.il/~tsirel/dump/Static/knowino.org/wiki/Complete_metric_space.html
http://www.acadsci.fi/mathematica/Vol39/vol39pp733-758.pdf