单射、满射、双射（一一映射）

设函数f:X->Y,y=f(x)
单射：任给x1和x2属于X,若x1≠x2,则f(x1)≠f(x2)，称f为单射
满射：任给y属于Y，都存在x属于X使得f(x)=y,称f为满射
双射：若f既是单射又是满射，称f为双射，也叫一一对应。