保序映射

保序映射(order-preserving mapping)一类带特殊性质的映射.从偏序集P,=(E R,)到偏序集Pz = CEz,Rz)的映射B，若满足如下条件:对于E,的任意元素x, y，由xR 1 y得出B(x)RzB(y)，则称B是一个保序映射.设P ?P:如图所示，若B(a,) = b ? B(az) = B(a3) = bz,9(a4)-b3，则8为保序映射.