ハイティング代数
A Heyting algebra formula_4 is a bounded lattice that has all exponential objects.