完備海T代數(complete Heyting algebra)一種特殊的完備格一個滿足如下條件的完備格日。 其中p是日的任意元素，{q;liE1}是日的任意子集.完備海丁代數對討論直覺主義邏輯是一個有用的工具一個完備布爾代數是一個完備海丁代數.
