定義
X を集合とする
X の部分集合の集合 Φ で空でないものが次の条件を満たすとき、
Φ をσ-集合環と言う。

1) A_n ∈ Φ, n =1 , 2, ... なら ∪A_n ∈ Φ

2) A, B ∈ Φ なら A - B ∈ Φ