>>86
俺も何か確信があって言ってるわけじゃないんだけど。
>>78の中であいまいな部分はそこだけだと思ったから。

普通極限は対象の空間に位相を入れてεδで定義するよね。
でも集合の空間に位相なり距離なりをうまく入れられるのかな、と。

それでうまく極限を定義できたら
次は lim{¬N(n)∩E(n)} = ¬{lim N(n)}∩{lim E(n)} を検証。