引入了相容半连续Domain、相容强连续Domain的概念,给出了一系列性质,讨论了相容半连续Domain、相容强连续Domain与相容连续Domain间的关系。引入了相容半Scott拓扑,并讨论了其相关性质。
In this paper, the concepts of consistently semicontinuous domains and consistently strongly continuous domains are introduced, and some properties are given. The relations among consistently semicontinuous domains, consistently strongly continuous domains and consistently continuous domains are discussed. Moreover, the consistently semi-Scott topologies on consistently semicontinuous domains are given, and some related properties are discussed.