>>312
（ハイネボレルの被覆定理）無数の開集合の一組が全体として有界
な閉集合Ｘを覆うならば，Ｘはそれらの開集合の中の有限個だけで
覆われる。
（リンデレフの被覆定理）ＸをＲ^m　の任意の部分集合とし，
Ｘを覆う開集合族をＵとすると，ＸはＵの中の高々可算個の開集合
で覆われる。

つまりリンデレフの被覆定理はハイネボレルの被覆定理の一般化
になっているのでしょうか？（集合Ｘが有界閉集合でなくても
ハイネボレルの被覆定理で主張されていることが成り立つので
しょうか？）