[0J4] Supponiamo che lo spazio topologico sia compatto. Si mostri che ogni sottoinsieme chiuso è compatto.