Question

鯛のお造り

上極限集合: lim￣[n→∞]An = ∩[n≧1]∪[k≧n]Ak
は、「どれだけ大きなnを取ってきても、添字がn以上のところにxが含まれるような集合が必ず存在するようなx全体の集合」

下極限集合: lim＿[n→∞]An = ∪[n≧1]∩[k≧n]Ak
は、「nを大きく取ることにより、添え字がn以上の全ての集合にxが含まれるようにすることが出来るx全体の集合」

という認識であっていますか？

上極限集合 下極限集合