Mantido pelo grupo "Topologia do Interior"
Use a caracterização de compacidade fica família de fechados.