它的对偶frames的范畴Frm。
定义.考虑是完全格的偏序集合（"P", ≤）。则"P"是完全海廷代数，如果任何下列等价条件中的一个成立：
例子.完全海廷代数引发自带有无限析取的（直觉）逻辑的林登鲍姆-塔斯基代数。