辅助序相关论文
目的讨论Dcpo上的辅助序与拓扑的关系。方法利用映射的复合。结果通过映射建立了Dcop上的辅助序与拓扑之间的联系。结论,可以由Dcop......
在引人φ-辅助序的F-型拓扑空间中,利用其相关性质证明了序区间上增映射的不动点定理。...
连续格理论的初步建立是近年格论研究的重大成就,本文首先定义了相近元,讨论了相近元的性质,进而讨论了相近格,通过举例说明了相近......