Un reticulado acotado "H" es un álgebra de Heyting si y sólo si todas las funciones "f" son el adjunto inferior de una conexión de Galois monótona.