复合运算保特函数性质：单射 ■单射的复合是单射 定理：如果f:A→B,g:B→C均是单射，则gfA→C也 是单射。 口证明要点： 若不然，即存在x1,x2∈A,且x1≠x2,使得gf(x1斤gx2), 设f(x1)=t1,f(x2=t2, 如果t=,与f是单射矛盾。 如果≠2，与g是单射矛盾。复合运算保持 函数性质：单射  单射的复合是单射  定理：如果f :AB, g:BC均是单射，则g f:AC也 是单射。  证明要点： 若不然，即存在x1 ,x2A, 且x1x2，使得g f（x1 )=g f(x2 ) ， 设 f (x1 )=t1 , f (x2 )=t2， 如果 t1 =t2，与f是单射矛盾。 如果 t1 t2，与g是单射矛盾