连续Domain的若干特征定理

目的 给出准连续Domain与连续Domain的特征刻画。方法 利用准连续Domain的每一点都有准定向极小集,连续Domain的每一点都有定向极小集。结果 给出了准连续Domain与连续Domain的一些等价刻画,得到了连续Domain的等式刻画。利用Waybelow关系给出了连续Do main的一个特征定理。结论 通过引入准连续Domain,得到了连续Domain的一些特征定理。