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

1.Previous
3.Next