O espaço $ \{0,1\}^{\mathbb{N}} $ é chamado de Espaço de Cantor.
Como de costume, para todo $ n \in \mathbb{N} $ denotamos por $ p_{n}: \{0,1\}^{\mathbb{N}} \to \{0,1\} $ a projeção da $ n $-ésima coordenada.