そこで以下、ハイネ・ボレル性を定義し、それがコンパクト性と同値になる事を定理として記述する。