completion of a metric space

[ریاضیات] تکمیل شده ی فضای متریک