ハイティング代数
A subalgebra of a Heyting algebra "H" is a subset "H"1 of "H" containing 0 and 1 and closed under the operations ∧, ∨ and →. It follows that it is also closed under ¬. A subalgebra is made into a Heyting algebra by the induced operations.