完備ブール代数に
O(a_i)ならばO(∨{a_i})、
O(a1)かつO(a_2)ならばO(a1∧a2)
となるような性質Oを定義されていた場合
或る位相空間と同型になると言えるでしょうか？