Note que um aberto básico em $\prod_{a \in A}{\omega}$ é um conjunto $V = \prod_{a \in A}{V_a}$ tal que exite um subconjunto finito $\{a_1,...,a_n\}$ de $A$ (suponhamos $a_i < a_j$ quando $i