Un álgebra de Heyting "H" es un reticulado acotado tal que para todo "a" y "b" en "H" hay un mayor elemento "x" de "H" tal que "a" ^ "x" ≤ "b".