Heyting algebra
さらに詳しく調べると、Ω("X" )は必ず「完備ハイティング代数」という種類の束になる事が示せる。