Нехай Х - нескінченний топологічний простір, G - група гомеоморфізмів Х, така що:
а) G діє транзитивно на Х,
b) для кожної відкритої підмножини [подано формулу] знайдеться скінченна підмножина [подано формулу], така що К(V)=Х, де К(V)=[подано формулу],
с) | G| = |Х|.
Тоді існує розбиття Х на |Х| цільних підмножин.