距離空間（距離が与えられた位相空間）では
　有界列はコーシー部分列をもち（全有界）かつ
　任意のコーシー列は収束する（完備）
と
　有界列は収束する部分列をもつ（点列コンパクト）
は同値