ハイティング代数
The De Morgan laws in a Heyting algebra.