補題
A を一般Boole環(>>5)とする。
Spec(A) (>>78)の開集合 U が準コンパクトであるためには
A のある元 a により U = D(a) となることが必要十分である。

証明
>>431と>>288より明らかである。