论文部分内容阅读
定义了一种新形式的格— —闭格以及一种新的交结构—拓扑交结构，并证明闭格与有上界的拓扑交结构是一一对应的，闭半格与拓扑交结构也是一一对应的,从范畴的观点来看，闭格构成的范畴TL与有上界的拓扑交结构所构成的范畴TTS是范畴等价的；闭半格所构成的范畴TSL与拓扑交结构所构成的范畴TS也是范畴等价的。