基本释义:

活水,自来水,长流水 RW

网络释义

1)running water,活水;自来水;长流水 RW

2)CD R/RW,CDR/RW

3)running water,活水;自来水;长流水

4)Rw/Rt parameter,Rw/Rt参数

5)RW theory,RW理论

6)RW-spaces,RW-空间

用法和例句

It is proved in this paper that if L is a bicomplete continuous DCPO, then the Isbell and Scott topologies agree on function spaces [X →L] for all RW-spaces X iff L is an L-Domain with a least element.

本文证明了,若L是一个双完备的连续DCPO,则对所有的RW-空间X,函数空间[X→L]上的Isbell拓扑和Scott拓扑相同当且仅当L是有最小元的L-Domain。