Seja $\mathcal C$ cobertura por abertos básicos de $X^\omega$. Defina $\mathcal C_n = \{C \in \mathcal C$ suporte de $C \subset \{0, \ldots, n\}\}$.