order isomorphism

Then it sets up two order isomorphisms and finds an equivalent condition of a map to be an inner operator or a closour operator.

研究了内部算子与闭包算子的一系列性质,得到如下结果:1)解决了有限完备链上内部算子和闭包算子的个数问题;2)证明了偏序集上的内部算子和闭包算子的图像是阶梯状的;3)建立了内部算子之集和闭包算子之集与某集合的幂集之间的序同构;4)找到了一个映射成为内部算子或闭包算子的等价刻画。