metric compactness

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