定義
Φ を集合 X 上の集合環(過去スレ007の189)とする。
X の任意の２点 x ≠ y に対して x ∈ A、y ∈ X - A となる A ∈ Φ があるとき
Φ は被約(reduced)であると言う。