Heyting algebra
したがって"X" にΩ("X" )を対応させる事で位相空間に完備ハイティング代数を対応させる事ができる。