半順序Rによる束\mathbb{H}がハイティング代数であるとは、以下の条件を満たすことである

\mathbb{H}は最小の要素\botを持つ

任意の要素a,bに対して、(a\land x)Rbを満たす最大のxが存在する