"，包含0和1，并在∧、∨和→等运算下是封闭的。这表示在¬下也是封闭的。
其他等价的定义.
格理论的定义.海廷代数的等价定义可由如下映射给出：对于"H"中的某些固定元素"a"，有界格"H"是海廷代数，当且仅当所有的映射"f都是单调伽罗瓦连接的下伴随(lower adjoint)。在这种情况下，其相对应的上伴随formula_5是由formula_6给出的，其中的formula_7定义同上。
性质.海廷代数总是符合分配律。就是说，给