Essa é uma revisão anterior do documento!

Proposição. Sejam $(X, \tau)$ um espaço compacto de Hausdorff e $F \subset X$ um conjunto. Então, $F$ é fechado se, e somente se, $F$ é compacto.

Demonstração: