Un elemento "x" de un álgebra de Heyting se llama regular si "x" = ¬¬"x".