metrically compact

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