ハイティング代数
A complete Heyting algebra is a Heyting algebra that is a complete lattice.