命題(Stoneの表現定理(>>93参照))
X を一般Boole代数(過去スレ021の373)とする。
Down(Spec(X)) を Spec(X) (>>178) の下集合の全体(過去スレ021の516)とする。
写像 ρ：X → Down(Spec(X)) を ρ(a) = D(a) (>>197) で定義する。
このとき ρ は一般Boole代数の単射準同型(>>29)である。
X がBoole代数(過去スレ021の336)のとき ρ はBoole代数の単射準同型(>>30)である。

証明
>>201より明らかである。