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