metric completion

Мат. метрическое пополнение