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

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