>>576

(1) コンパクトの定義
(2) 閉区間はコンパクトであることの証明

この次にこの命題が来ます。

位相同型の定義などはこの時点では書いてありません。