冷引理19.3:设(a,B):(P1X1UC1→ (P2X2Uc2)是半同态映射,p∈P1,并且 假设 Xvar(p)。则p(x)var(a(p) 冷证明: XEvar(p) 冷(1)x不在p中出现 冷(2)x在p中约束出现 都要利用在X1上是一对一的❖ 引 理 19 . 3 : 设 (  ,  ) : ( P1 ,X1∪C1 )→ (P2 ,X2∪C2 )是半同态映射，pP1，并且 假设xvar(p)。则(x)var((p))。 ❖ 证明:xvar(p), ❖ (1)x不在p中出现 ❖ (2)x在p中约束出现 ❖ 都要利用在X1上是一对一的