对拟连续DomainD证明了：（1）双拓扑空间（D，σ（D），（D））为两两完全正则空间；（2）若D有可数基，则（max（D），σ（D）｜max（D））为正则空间当且仅当它为Polish空间；（3）拓扑空......