《実数の集合》がコンパクトであることの定義

《実数の集合》がコンパクトであることの定義。微調整。