5.2函数的性质 ②若a,b不存在偏序关系，则ab,从而 a生f(b)={x|x∈AAx≤b},而“≤”自反，即 a∈f(a∴.f(a)≠f(b) .f是A到p(A)的单射； (2)Va,b∈A,若a≤b,任取y∈f(a),则y≤a,而a≤b 由传递性，有y≤b,∴.y∈f(b),∴.f(asf(b) 定理5.1：设A,B是有限集合，且A=B,f是A 到B的函数，则f是单射当且仅当f是满射。 8/738/73 5.2 函数的性质 ②若a，b不存在偏序关系，则 ，从而 ，而“≤”自反，即 ∴f是A到ρ(A)的单射； (2) 由传递性，有y ≤b, • 定理5.1：设A，B是有限集合，且|A|=|B|，f是A 到B的函数，则f是单射当且仅当f是满射。 a  b a f (b) ={x | x A x  b} a f (a) f (a)  f (b) a,b A,若a  b，任取y f (a)，则y  a，而a  b  y  f (b), f (a)  f (b)