Un local es un álgebra de Heyting completa.