O espaço $ \{0,1\}^{\mathbb{N}} $ é [[topologia:exemplo:espacodecantor:compacidade|compacto]], e todo compacto é de Lindelöf. O resultado segue.