单射:(one-to-one function) 一对一函数,x不同则y不同 即:没有一个x对应两个y,也没有一个y有对应两个x