"x" が距離空間であれば、コンパクト性をまた別の方法で特徴づける事ができる。