[0J5] Supponiamo che lo spazio topologico sia \(T_ 2\) (si veda [0G8]↺↻). Si mostri che ogni sottoinsieme compatto è chiuso.
