ちょっとすまん。上のほうから読んできてまだ追いついてないんだけど、
>>78さんがしたっていってる集合列の極限の定義ってなに？

集合列{A_n}に対して
∩[n≧1]∪[k≧n]A_kと∪[n≧1]∩[k≧n]A_kが一致するとき
その一致する集合をlimA_n
としてるの？