2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/131534Let $(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 pagesLogic06B15, 06B30text