記法
A をBoole代数(過去スレ021の336)とする。
A の指標空間(>>304)を X とする。
a ∈ A に対して a＾ = {χ ∈ X；χ(a) = 1} とおく。
I を A のイデアル(過去スレ021の527)とする。
U(I) = ∪{a＾； a ∈ I } とおく。