Order convergence and compactness
Abstract
Description
Let $(P,\leq)$ be a partially ordered set and let $τ$ be a compact topology on $P$ that is finer than the interval topology. Then $τ$ is contained in the order (convergence) topology on $(P,τ)$. So any Priestley topology is contained in the order topology.
3 pages
3 pages