Mantido pelo grupo "Topologia do Interior"
Suponha por contradição que $2^\omega = \{f_n: n \in \omega\}$.