コンパクト集合の定義。距離空間(R,d)上で。

距離空間(R,d)上のコンパクト集合の定義。外観の調整完了。