A Priestley space is a compact topological partially ordered set that is totally order-disconnected: if , a clopen upward-closed set contains and omits . A Priestley dual space is a space of this kind constructed from the prime filters of a bounded distributive lattice.
New to topics? Read the docs here!