Mantido pelo grupo "Topologia do Interior"
Essa é uma revisão anterior do documento!
Seja $X$ enumeravelmente compacto e $F \subset X$ fechado. Queremos mostrar que $F$ é enumeravelmente compacto. De fato, seja $mathcal U = \{U_i\}_{i \in \omega}$