论文部分内容阅读
提出了R-偏序集的概念,本文通过有趣的例子说明了偏序族中的偏序在逼近某个偏序时未必保持cpo (complete partialorder),代数cpo或连续cpo等结构,并指出何时cpo,代数cpo或连续cpo可得以保持.给出了R-偏序集上R-连续映射的不动点定理,本文还比较了灭一偏序集中各个偏序确定的Scott拓扑,以及此结果的一个简单应用.