离散数学集合论,证明:f是映射,设f:X->Y,f是单射当且仅当任意F属于2^X,f-1(f(F))=F