冷定义1917:设P=P(Y和P2=P(Y2),其个 体变元与个体常元分别为X1C1和X2C2, 并且或者C=或者C2≠。一个半同态映 射(ax,8):P1X1Uc)→(P2X2UC2)是一对映 射a:P1→>P2;B:X1∪C1X2UC2,它们联 合实现了映射p(x,c)→>(p)(β(x),β(c),且具 有性质: 冷(1)B(XX2,β(CC2,而且β在X上是 一对一的。 冷(2)x是,小}同态映射。 (3对任何p∈P1有a(vxp)=vpa(p)❖ 定义19.17:设P1=P(Y1 )和P2=P(Y2 )，其个 体变元与个体常元分别为X1 ,C1和 X2 ,C2， 并且或者C1=或者C2。一个半同态映 射(,):(P1 ,X1∪C1 )→(P2 ,X2∪C2 )是一对映 射: P1→P2 ; : X1∪C1→X2∪C2，它们联 合实现了映射p(x,c)→(p)((x), (c)),且具 有性质： ❖ (1)(X1 )X2，(C1 )C2，而且在X1上是 一对一的。 ❖ (2)是{F,→}-同态映射。 ❖ (3)对任何pP1有(xp)=(x)(p)