Preliminaries A Priestley space is both a poset and a topological space. The topologically connected components of the space are trivially closed. (They are just the points of the underlying set.) But a Priestley space also has connected components as a poset, i.e. the maximal connected subposets. These poset components have less global structure among each other than the topological components, i.e. we have
Any poset can be written as a disjoint union of its components.
Question I would like to know whether the quotient of a Priestley space by the equivalence relation of its poset components is always a Stone space. A necessary condition for this is that the poset components are closed sets of the topology. (I guess this condition is also sufficient, but this is not the question.) Hence my question is:
Are the connected components of the poset of a Priestley space closed sets of the topology?
Solution attempt After trying for some time to prove this, I started to try to construct a counter-example. My strategy is to take the Stone space of a countable atom-less Boolean algebra and add a partial order relation to it. One promising idea would be to take away one point, and connect the remaining points by a fence. The fence component is not closed, because the point component is not clopen. My problem here is proving that this is really a Priestley space.