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