n. 【数学】 ハイネ ボレルの被覆定理《ユークリッド空間の有界閉集合はコンパクトであるという定理》.