任意y属于f(AnB),存在x属于AnB,使得f(x)=y
=> x属于A,x属于B
=> f(x)属于f(A),f(x)属于f(B)
=> f(x)属于f(A)nf(B)
=> f(AnB)包含于f(A)nf(B)