これはユークリッド空間から任意の空間へのハイネ・ボレルの被覆定理の一般化と見なされる:その場合、有界性を全有界性に(そして閉性を完備性に)代える必要がある。