20/06/15 00:39:18 qWGy1lbr.net
>>428
一致する。含む。
まず、集合族から生成される完全加法族とはその集合族を含む最小の完全加法族のことであるという定義でいいか？
あと「Eに属するものたちの(高々)可算個の和と共通部分として書けるものの全体」をC[E]と書くことにしておく。
（一行目）
C[E]はEを含む完全加法族であるから、B[E]の最小性からB[E]⊂C[E]
B[E]はEを含む完全加法族であるから、Eに属するものたちの高々可算個の和と共通部分として表せるものはB[E]に属する。すなわちC[E]⊂B[E]
B[E]⊂C[E] かつ C[E]⊂B[E] であるから B[E]=C[E]
（二行目）
任意のS∈B[E]について、SはEに属するものたちの(高々)可算個の和と共通部分として表される。
ここで、E⊂AであるからEに属するものはすべてAにも属する。
したがって、SはAに属するものたちの(高々)可算個の和と共通部分として表される。
Aは可算個の和と共通部分で閉じているのでS∈Aである。以上より B[E]⊂A