completion of metric space

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