Пусть $R$ - метрическое пространство. Полное метрическое пространство $R^*$ называется пополнением пространства R, если:
- $R$ является подпространством пространства $R^*$
- $R$ всюду плотно в $R^*$, т.е. [R] = R*
где [R] - есть замыкание пространства R.