>>48
そうですね。ちょっと勘違いしていました。
点列を考えてもしょうがないですね。単調に縮まっていく集合列を考えないと意味がないか。

たぶん自分が引っかかってるのは、点列の極限のような形で定義された点が
最終的な集合に含まれるかどうかは必ず判定可能なのかどうかというあたりみたいですが、
あまり本質的な問題ではないかもしれません。