Las álgebras completas de Heyting son un objeto central de estudio en topología sin puntos.