Considere os conjuntos auxiliares $\tilde D_\alpha = \{f \in 2^\kappa: f(\alpha) = 0\}$ e $E_\alpha = \{f \in 2^\kappa: f(\alpha) = 1\}$ para cada $\alpha < \kappa$.