>>279 つづき

https://ja.wikipedia.org/wiki/%E9%9B%86%E5%90%88%E4%BD%93
集合体
・field of sets: 集合が集合演算について成す体状の数学的構造。有限加法族を参照。
https://ja.wikipedia.org/wiki/%E6%9C%89%E9%99%90%E5%8A%A0%E6%B3%95%E6%97%8F
有限加法族

定義
空でない集合 S 上の部分集合族 M ⊂ 2S が和 ∪ と補集合をとる集合演算 c について閉じていて、和 ∪ に関する中立元 ? を持つとき、M を有限加法族または単に加法族と呼ぶ。
A1, A2 ∈ M ⇒ A1 ∪ A2 ∈ M,
A ∈ M ⇒ Ac ∈ M,
? ∈ M.
また、M ⊂ 2S が積 ∩ と対称差 Δ について閉じていて、積 ∩ に関する中立元 S を含むとき、M を集合体と呼ぶ。
A1, A2 ∈ M ⇒ A1 ∩ A2 ∈ M,
A1, A2 ∈ M ⇒ A1 Δ A2 ∈ M,
S ∈ M.
有限加法族の条件は加法的な一つの演算 ∪ に関する構造に注目していて、集合体のほうは積 ∩ と対称差 Δ の二つの演算がつくる集合環の構造に注目しての命名であるが、この二つの定義の条件は互いに同値であり、これらはまったく同じ概念を定める。また、これら（が含む集合環の）の条件から帰納的に
・A_{1},A_{2},・・・ ,A_{n}∈ M → ∪{k=1〜n}A_{i}∈ M
・A_{1},A_{2},・・・ ,A_{n}∈ M → ∩{k=1〜n}A_{i}∈ M
など、有限回の集合演算に関して閉じていることが示せる。

つづく