Además, los elementos regulares de cualquier álgebra de Heyting constituyen un álgebra booleana.