相容拟半连续Domain和相容交半连续Domain

Consistently quasi-semicontinuous Domains and consistently meet-semicontinuous Domains

引入了相容拟半连续Domain和相容交半连续Domain的概念,给出了一系列好的性质。分别给出了相容半连续Domain与相容拟半连续Domain、相容交半连续Domain间的关系,并且利用相容半Scott拓扑刻画了相容交半连续Domain。

The concepts of consistently quasi-semicontinuous Domains and consistently meet-semicontinuous Domains are introduced,and some properties are given.The relations of consistently semicontinuous Domains and consistently quasi-semicontinuous Domains and consistently meet-semicontinuous Domains are discussed.Also,the equivalences of consistently meet-semicontinuous Domains are given.