>>806

YはXの閉集合
⇔y_n∈Y,y_n→y in X ならばy∈Y
です


一応定義はわかるつもりです