Heyting algebra
Theorem: is an Esakia space, called the "Esakia dual" of . Moreover, is a Heyting algebra isomorphism from onto the Heyting algebra of all clopen up-sets of . Furthermore, each Esakia space is isomorphic in Esa to the Esakia dual of some Heyting algebra.