ハイティング代数
Heyting algebra (structure)