Characterizing Continuous Dcpos by Liminf Convergence of Filters

Abstract

It is proved in this note that, under a mild assumption, a dcpo $L$ is continuous if and only if the liminf convergence on $L$ is topological.