建立了顺序集合套的范畴ＯＳＥＢ，并证明了该范畴有平衡器，有限积，最终元，Ｅｘｐｏｎｅｎｔｉａｌｓ和Ｓｕｂｏｂｊｅｃｔｃｌａｓｓｉｆｉｅｒｓ等Ｔｏｐｏｓ性质。因此，范畴ＯＳＥＢ是一个Ｔｏｐｏｓ。......