定義
X を集合とし、Γ を X の部分集合を要素とする集合とする。
Γ を含む最小のσ-集合環(過去スレ007の197)を S(Γ) と書く。