D'altra parte, un sottoinsieme compatto in uno spazio di Hausdorff, ad esempio un qualsiasi spazio metrico, è chiuso. ###>) As a sort of converse to the above statements, the pre-image of a compact space under a proper map is compact.