「《R2の部分集合》がコンパクトであること」の定義

「《R²の部分集合》がコンパクトであること」の定義を微調整。