>>351
エスパーすると、閉集合(in R^n)の点列バージョン定義でも「すぐわかる」は変わらない（と思う）

f:R^n->R, x->|x|、{a_n} をS内の点列、lim(a_n)=a (R^n内で収束)とする（※杉浦先生がウソつきでなければa∈S のはず）
当然 f(a_n)=1、fは連続なので両辺のlimを取って f(a)=1 が得られ a∈S、つまりSは閉
F1も同じこと
位相にちょいと慣れていれば、点列を介在させない分少し楽（＆一般的）