и ,

т. е. либо множество  либо множество  имеет непустую внутренность в . Пусть, например, множество  удовлетворяет этому условию. Выберем в  слой  с конечным основанием  и положим  и . Если , то положим , в противном случае продолжаем построение по индукции.
Предположим, что для каждого  множества  и  построены, причем выполняются следующие условия:
1. если , то  и ;
2. для любого  множество  является накрытием с основанием ;
3. для любого ;
4. для любого .
Положим  и . Ясно, что множество  является накрытием с основанием  мощности . Если , то положим  и построение завершено, в противном случае рассмотрим наименьший элемент  такой, что  и . Положим  и . Тогда . Отсюда следует, что , где

 и ,

т. е. либо множество  либо, множество  имеет непустую внутренность в  . Пусть, например, множество  удовлетворяет этому условию. Выберем в  слой  с конечным основанием  и положим

 и .

Если , то положим , и построение завершено, в противном случае продолжаем построение по индукции. Покажем, что . Допустим противное и рассмотрим наименьший элемент  такой, что . Тогда имеем  и получаем противоречие с тем, что  - наименьший элемент множества , для которого выполняется  и . Так как  - компакт, то множество  не пусто. Положим . Так как ,  и , то множество  является искомым слоем. Лемма доказана.
Напомним, что -характером множества  в пространстве  называется наименьшая мощность такой системы , состоящей из непустых открытых подмножеств , что для всякого открытого множества , содержащего , существует  такое, что .
Теорема 1. Пусть ,  - тихоновское произведение компактов  веса  и . Тогда для того, чтобы замкнутое подмножество  пространства  было накрытием в  с основанием мощности , необходимо и достаточно, чтобы -характер множество  в  не превосходил .
Доказательство. Необходимость следует из леммы 1. Докажем достаточность. Пусть  - -база множества  в  мощности . Для каждого открытого множества  обозначим через  индексное подмножество мощности  такое, что каноническое замкнутое множество  не зависит от множество  . Положим  и покажем, что . Допустим противное, т. е. что существует точка , не принадлежащая множеству . Выберем открытое множество  такое, что  и . Тогда . Так как  для любого , то  для любого  - противоречие. Таким образом, , а так как , то множество  является накрытием в  с основанием мощности . Теорема доказана.
Предложение 1. Если , то , где .
Доказательство. Предположим, что . Зафиксируем некоторую точку . Из определения накрытия следует, что существует точка  такая, что , но тогда  - противоречие. Предложение доказано.
Множество  имеет тип  в пространстве , если существует семейство  открытых в подмножеств такое, что  и . 
Теорема 2. Пусть  и  - тихоновские произведения топологических пространств, причем , ,  для любого , где  - бесконечный кардинал,  - всюду плотное в  подпространство и  - подмножество  такое, что для любого замкнутого подмножества  вида  в , имеющего непустое пересечение с , множество  содержит накрытие некоторой грани пространства  с основанием мощности . Тогда существует множество  типа  в  такое, что  и .
Доказательство. Можно предположить, что . Зафиксируем в каждом  сетевую базу  мощности  и положим  для каждого . Для каждой точки рассмотрим множество вида  в , содержащее , такое, что ,…, и . Множество  назовем правильным, если не существует никакой такой собственной части , что . Так как множество  - конечно, а в конечном множестве не существует бесконечной убывающей последовательности его собственных подмножеств, то для каждой точки  существует правильное множество , содержащее  такое, что . Обозначим семейство всех различных таких правильных множеств через , где  - набор индексов . Если удастся показать, что , то множество , очевидно, будет искомым.
Допустим, что . Тогда . Поэтому существует подсемейство семейства  (для которого сохраним обозначение ), все элементы которого имеют один и тот же ранг  (т. е. для любого ), причем . Пусть  - накрытие грани  пространства  с основанием  мощности , содержащееся в . Из предложения 1 следует, что  для любого элемента . Каждому  поставим в соответствие мощность тех , основания которых содержит индекс . Так как , а , то существует подсемейство семейства , причем , все основания элементов которого содержат один и тот же индекс . Так как , то существует подсемейство  семейства , все элементы которого на индексе  имеют одно и тоже множество , причем . Далее продолжим по индукции. Допустим, что найдено подсемейство  семейства , причем , все основания элементов которого содержат одни и те же индексы , и на координатах  элементы имеют одни и те же множества , где . Рассмотрим произвольного представителя  этого семейства. Ясно, что множество  уже не является правильным и, следовательно, множество  содержит накрытие  грани пространства  с основанием  мощности . Так как все элементы семейства  являются правильными, то для любого элемента  множество  пересекает  по индексам, не принадлежащим множеству . Так как , а , то существует подсемейство  семейства , причем , все основания элементов которого содержат один и тот же индекс . Так как , то существует подсемейство  семейства , все элементы которого на координате  имеют одно и тоже множество , причем . Таким образом, построено семейство , все основания элементов которого содержат одни и те же индексы , и все элементы которого имеют на координатах  одни и те же множества, где . Следовательно, не более чем через  шагов будет показано существование семейства , причем , все элементы которого совпадают, что противоречит тому, что все элементы  различны. Таким образом, доказано, что . Теорема доказана.
Замечание. Пусть  - семейство правильных множеств, рассмотренное при доказательстве теоремы. Положим . Ясно, что множество  не зависит от , причем . Отсюда следует, что множество  также не зависит от .
Следствие 1. Пусть ,  - тихоновское произведение пространств  сетевого веса  и  - замкнутое подмножество  такое, что для любого замкнутого подмножества вида в , имеющего непустое пересечение с , множество  содержит накрытие некоторой грани пространства  с основанием мощности . Тогда множество  имеет тип  в , причем существует множество  мощности  такое, что  не зависит от .
Доказательство. Из теоремы 2 следует, что существует множество  типа  в  такое, что , причем, как было отмечено в замечании к теореме, существует множество мощности  такое, что  не зависит от . Легко показать, что множество  также не зависит от . Так как множество  имеет тип  в , то множество  имеет тип в . Следствие доказано.
Следствие 2. Пусть ,  - тихоновское произведение пространств  сетевого веса  и  - подмножество пространства , причем , где  - множества типа в  для любого . Тогда множество  имеет тип  в , причем существует множество  мощности  такое, что  не зависит от .
Доказательство. В случае  справедливость утверждения следует из того, что . Пусть . Покажем, что для любого замкнутого подмножества вида  в , имеющего непустое пересечение с , множество  содержит слой с основанием мощности . Выберем  такое, что множество  не пусто и пусть . Ясно, что существует множество  такое, что , причем  не зависит от , где  - некоторое подмножество  мощности . Тогда множество  не зависит от и, следовательно, содержит слой с основанием мощности . Теперь справедливость утверждения вытекает из следствия 1. Следствие доказано.