後述するように一般の距離空間では「コンパクト部分集合⇒有界閉集合」は言えるが逆向きは常に成立するとは限らない。