摘要
作为Domain理论中交连续半格概念的推广,文章借助于相对way below关系引入相对辅助关系,给出相对逼近关系的概念,并研究其性质.引入相对交连续半格的概念,给出其若干内部刻画.探讨相对连续Domain及其拓扑性质,并研究相对连续半格与相对交连续半格之间的关系.上述结论推广相关文献的有关结论.
In this paper,firstly,as an extension of meet continuous semilattice in domain theory,with the help of the relative waybelow relation,the relative auxiliary relation,and the definition and properties of relative approximate relation is given and examined. In addition,by the relative approximate relation,some equivalent characterizations of relatively meet continuous semilattice are obtained. Finally,the concept of relatively continuous Domain is defined. The relation between relative meet continuous semilattice and relative continuous semilattice is discussed. These results generalize the corresponding results in the related references.
作者
陈必琴
姜广浩
CHEN Biqin;JIANG Guanghao(School of Mathematical Sciences,Huaibei Normal University,235000,Huaibei,Anhui,China)
出处
《淮北师范大学学报（自然科学版）》
CAS
2022年第3期1-6,共6页
Journal of Huaibei Normal University：Natural Sciences
基金
国家自然科学基金面上项目(12071188)
安徽省高校省级自然科学研究重点项目(KJ2017A378)。
关键词
相对辅助关系
相对逼近关系
相对交连续半格
相对连续Domain
relative auxiliary relation
relative approximate relation
relative meet continuous semilattice
relative continuous Domain
