西安电子科技大学特殊函数类$4.1.2 软件学院茶家教家家「定理」设f是从集合X到Y的函数。（a）若f是满射的，则必有IXI≥IYI：（b）若f是单射的，则必有IXI≤IYI；（c）若f为双射，则必有IXI=IYI;（d）若IXI=IYI，则有f是单射的当且仅当f是满射的。西安电子科技大学 §4.1.2 特殊函数类 软件学院