compact metric space

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