半连续dcpo的局部半基的若干理论

Theories of Local Semi-Bases on Semi-Continuous dcpo

对连续格、半连续格、半连续dcpo等的相关定义与主要性质进行比较,得到它们的联系与区别,作出一些补充,并给出半连续dcpo的局部半基的概念,从而得到一些相关性质与结论.

The relevant definitions and main properties are compared among the continuous lattice, semi continuous lattice and semi continuous dcpo,and thus their relations and differences are obtained. Some supplements are made and the concept of local semi-base about semi-continuous dcpo is introduced. Fur- thermore, some relevant properties and conclusions are obtained.