 Priestley dual space

The Priestley dual space $\hat{L}$ of a bounded distributive lattice $L$ consists of its prime filters, ordered by inclusion and topologized by the sets $a^{\ast }=\{P:a\in P\}$ and their complements.

This construction yields a Priestley space: a compact ordered topological space in which suitable clopen upward-closed sets separate distinct comparable-order failures.