すっかり質問スレと化してるな…

>>262
Mは単に空でないM⊂2^Xなんじゃなくて、集合体であること（有限個の
集合演算について閉じていること）は仮定されているんじゃないのか？

もしそうなら、F_n=E_n∩(∪[i=n=1..∞]E_i)^cとせずに、
F_1=E_1, F_2=E_2∩E_1^c, F_3=E_3∩(E_1∪E_2)^c, …, F_n=E_n∩(∪[i=1..n-1]E_i)^c
とおけばいい。