论文部分内容阅读
设X，Y是任意的非空全序集合，OT（X，Y）是X到Y的全体保序映射构成的集合，θ是Y到X的一个确定的保序映射．对任意α，β∈OT（X，Y），定义：α°β=αθβ，这里αθβ表示一般映射的合成．则OT（X，Y）关于运算。构成一个半群，称为保序的夹心半群，记为OT（X，Y；θ）．当X，Y都是有限集合且│X│〉1，│Y│〉1时称保序夹心半群OT（X，Y；θ）为有限保序夹心半群．本文讨论有限的保序夹心半群的格林关系．