O espaço $ \{0,1\}^{\mathbb{N}} $ é [[topologia:exemplo:espacodecantor:compacidade|compacto]] e [[topologia:exemplo:espacodecantor:t2|Hausdorff]]. Na [[topologia:localmentecompacto|página]] existe o resultado que mostra que essas condições implicam compacidade local.