引入了Scott相容连续映射与商相容Domain等概念,研究了Scott相容连续映射保局部基与保waybelow序及保局部基与保紧元之间的关系,证......

将建立在dcpo上的双有限domain等概念推广到相容定向完备偏序集上,定义了相容定向完备偏序集上的逼近单位、有限分离、相容双有限d......

定义相容Domain的子Domain与子空间等概念，得到Scott开集和Scott闭集都是相容Domain的子Domain与子空间的结论，证明了相容连续Domain......