plement)，并标记为formula_2。"H"中最大和最小元素分别写成1和0。任一海廷代数，皆可定义出任一元素"x"的伪补元为。依定义，，且是具有此一性质的最大元素。不过，因为并不总是真的，所以¬只是一个伪补运算，而不是像在布尔代数中所见真正的补元。完全海廷代数是指具有完全格的海廷代数。海廷代数"H"的子代数是指"H"的子集"H"，包含0和1，并在∧、∨和→等运算下是封闭的。这表示在¬下也是封闭的。
其他等价的定义.
格理论的定义.海廷代数的