Distributive lattice orderings and Priestley duality

Abstract

The ordering relation of a bounded distributive lattice L is a (distributive) (0, 1)-sublattice of L \times L. This construction gives rise to a functor Φfrom the category of bounded distributive lattices to itself. We examine the interaction of Φwith Priestley duality and characterise those bounded distributive lattices L such that there is a bounded distributive lattice K such that Φ(K) is (isomorphic to) L.

9 pages