集積点定義タイプ0⇔集積点定義タイプ2

「《Rの部分集合》の集積点」の定義－タイプ0とタイプ2が同値であることの証明ページを新規作成・アップロード。