论文部分内容阅读
推广连续domain的特征与浓度的概念到连续偏序集上。探讨了连续偏序集及其定向完备化和Smyth幂的特征、浓度，得到了几个关系定理：1）连续偏序集的特征（浓度）等于其上Scott拓扑的特征（浓度），但小于等于其上Lawson拓扑的特征（浓度）；2）连续偏序集的浓度大于或等于它的定向完备化的浓度，而特征小于或等于它的定向完备化的特征；3）连续domain的浓度大于或等于它的Smyth幂domain的浓度。