相对连续偏序集及其应用

提出相对定向集和相对定向完备集的概念,并在相对定向完备集上引入相对双小于关系.利用相对way below关系引入相对连续偏序集的概念,探讨了其一些等价条件,并证明了相对连续偏序集具有相对T的遗传性.

相对连续偏序集的若干性质

在相对连续偏序集上引入相对邻域、相对Scott开集以及相对Scott拓扑的概念,证明相对way-below关系在给定T中具有插入性质.此外,引入保相对定向并与保相对双小于映射的概念,探讨相对连续偏序集在二者映射下的一些性质.

相对相容定向集及其应用

给出相对相容定向集与相对相容定向完备集的定义,探讨二者的基本性质。在相对相容定向完备集上定义一种新的way below关系,研究其具有的一些性质。此外,引入相对相容连续偏序集概念,并证明对于给定集合T,相对相容way below关系在相对相容连续偏序集中具有插入性。