Characterizing Continuous dcpos by Liminf Convergence of Filters

摘要

如果并且仅当 L 上的 liminf 集中是拓扑的，它在这笔记被证明在一个温和假设下面， dcpo L 是连续的。