Покрытием подмножества

метрического пространства

называется семейство множеств

(

- некое множество индексов), что

.
Покрытие называется открытым, если все

открыты.
Подпокрытие покрытия

- семейство множеств

, которое тоже является покрытием (того же множества)