ハイティング代数
For any Heyting algebra "H", the following conditions are equivalent: