基于柯西理想意义下的连续$Omega$-domains,赖洪亮,,$Omega$-范畴为研究量化domain理论提供了一个很好的基本框架.本文在假设完备剩余格$(Omega,*)$的承载格$Omega$本身还是一个连续格的条件下,