1. подмножество метрического пространства, из любого открытого покрытия которого можно выделить конечное подпокрытие

Источник: Wiktionary.org