点列を集合列にする

 の性質を調べたい。

たいがい，

任意の与えられた集合  に対して，
ある番号  があって，

みたいなことを示す。
しかも，「任意の数列に対してほにゃほにゃ」とかつく。
こんなときは，

を作って，

を示す方が簡単。
列としては無限の並べ方のバリエーションが考えられても，
並べ方を忘れた集合としてはどんどん縮むかもしれないので。
上極限とか下極限とかと同類のテクニック