摘要

借助S-极限的概念,在相容定向完备集上引入相容Scott拓扑和相容连续Domain。得出以下结果:上集U是相容Scott开集当且仅当U∈O(S);相容定向完备集P是相容连续Domain当且仅当S-收敛是关于相容Scott拓扑的拓扑收敛。

全文