A topological characterization of complete distributive lattices (Q793066)

A Priestley space X is a totally disconnected ordered topological space. If \(A\subset X\) then \(A^*=\{x\in X;\) there exists \(y\in A\) such that \(y\leq x\}\). By \(Q(X)\) is denoted \(Q(X)=\{A\subset X;\) A is increasing, closed and open\}. For a Priestley space X, \(Q(X)\) is a complete lattice iff it satisfies the condition (E): \(D\subset X\) is increasing and open implies \({\bar D}^*\in Q(X)\). If an ordered compact space X satisfies (E) then X is a Priestley space.