Определение. Пополнением метрического пространства M {\textstyle M} называется такое полное метрическое пространство M ~ {\textstyle {\tilde {M}}} , что M {\textstyle M} изометрично всюду плотному множеству в M ~ {\textstyle {\tilde {M}}} .