Order convergence and compactness

Abstract

Let $(P,\le )$ be a partially ordered set and let $\tau$ be a compact topology on $P$ that is finer than the interval topology. Then $\tau$ is contained in the order (convergence) topology on $(P,\tau )$. So any Priestley topology is contained in the order topology.

3 pages