论文部分内容阅读
证明了对于一个给定的非空集合X,可以在RCL(X)(X上的推理闭包算子的全体)、R IN(X)(X上的推理内部算子的全体)、ROU(X)(X上的推理外部算子的全体)、RB(X)(X上的推理边界算子的全体)上定义适当的序关系,使它们与(RCS(X),真包含)序同构,其中RCS(X)是给定集合X上的推理闭包系统的全体.