命題(有限Boole代数の表現定理)
X を有限な一般Boole代数(過去スレ021の373)とする。
P(Spec(X)) を Spec(X) (>>178) の冪集合とする。
写像 ρ：X → P(Spec(X)) を ρ(a) = D(a) (>>197) で定義する。
このとき ρ は束としての（従ってBoole代数としての）同型である。

証明
>>44より X は一般Boole環(>>5)と見なせる。
>>203と>>75より Spec(X) は X の極大イデアル(>>99)全体の集合である。
よって、本命題は>>202より明らかである。
証明終