Priestley space

In mathematics, a Priestley space is an ordered topological space with special properties. Priestley spaces are named after Hilary Priestley who introduced and investigated them. Priestley spaces play a fundamental role in the study of distributive lattices. In particular, there is a duality ("Priestley duality") between the category of Priestley spaces and the category of bounded distributive lattices.
Definition.
A "Priestley space" is an "ordered topological space" , i.e. a set equipped with a partial order and a topology , satisfying 
the following two conditions:
Properties of Priestley spaces.
It follows that for each Priestley space , the topological space is a Stone space; that is, it is a compact Hausdorff zero-dimensional space.
Some further useful properties of Priestley spaces are listed below.
Let be a Priestley space.
A Priestley morphism from a Priestley space to another Priestley space is a map which is continuous and order-preserving.
Let Pries denote the category of Priestley spaces and Priestley morphisms.
Connection with spectral spaces.
Priestley spaces are closely related to spectral spaces. For a Priestley space , let denote the collection of all open up-sets of . Similarly, let denote the collection of all open down-sets of .
Theorem:
If is a Priestley space, then both and are spectral spaces.
Conversely, given a spectral space , let denote the patch topology on ; that is, the topology generated by the subbasis consisting of compact open subsets of and their complements. Let also denote the specialization order of .
Theorem:
If is a spectral space, then is a Priestley space.
In fact, this correspondence between Priestley spaces and spectral spaces is functorial and yields an isomorphism between Pries and the category Spec of spectral spaces and spectral maps.
Connection with bitopological spaces.
Priestley spaces are also closely related to bitopological spaces.
Theorem:
If is a Priestley space, then is a pairwise Stone space. Conversely, if is a pairwise Stone space, then is a Priestley space, where is the join of and and is the specialization order of .
The correspondence between Priestley spaces and pairwise Stone spaces is functorial and yields an isomorphism between the category Pries of Priestley spaces and Priestley morphisms and the category PStone of pairwise Stone spaces and bi-continuous maps.
Thus, one has the following isomorphisms of categories:
formula_7
One of the main consequences of the duality theory for distributive lattices is that each of these categories is dually equivalent to the category of bounded distributive lattices.