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

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