论文部分内容阅读
推广连续Domain的权的概念到连续偏序集上，探讨连续偏序集的权、相应内蕴拓扑的权、定向完备化的权以及Smyth幂Domain的权间的关系。得到了几个等权定理：（1）连续偏序集的权与其上Scott拓扑、Lawson拓扑的权相等；（2）连续偏序集的权与其定向完备化的权相等；（3）无穷连续Domain的权与其Smyth幂Domain的权相等；（4）有限Domain的权小于或等于它的Smyth幂Domain的权。