)As a sort of converse to the above statements, the pre-image of a compact space under a proper map is compact.A closed subset of a compact space is compact, and a finite union of compact sets is compact.