拟半连续dcpo

Quasi-Semicontinuous Dcpo

作为半连续dcpo概念的推广,引入了拟半连续dcpo的概念,讨论了拟半连续dcpo的基本性质,特别地,给出拟半连续dcpo的等价刻画,并建立半连续dcpo与拟半连续dcpo之间的联系。

As the generalizations of semicontinuous dcpo,the concepts of quasi- semicontinuous dcpo are introduced. Some basic properties of it are investigated,in particular,some equivalent characterizations of quasi-semicontinuous dcpo are introduced,and then the relationship between semicontinuous dcpo and quasi- semicontinuous dcpo is established.