ハイティング代数
"X" を位相空間とするとΩ("X" )には以下のようにして完備ハイティング代数の構造が入る。ここでformula_1は"A" の内部を表す。