局部定向完备集相关论文
辅助关系是定义在偏序集上的一种重要的二元关系.当偏序集为定向完备集时,其上的辅助关系性质比较丰富.将辅助关系的概念及有关性......
在局部dcpo上引入了S-极限的概念,并利用S-极限来刻划Scott拓扑和连续的局部dcpo.其主要结果:证明了U是Scott开集当且仅当U∈O(S);......
本文给出了局部定向完备集的概念及其在此结构下的一种新的双小于关系,从而进一步给出了一种新的连续性概念,接着讨论了局部定向完......
研究了局部定向完备集的定向完备化,得出以下两个结果( 1 )连续(代数)的局部定向完备集的定向 完备化是连续(代数) 定向完备集;( 2 )连续(代......