离散数学单射函数的定义问题
书中对单射函数的定义是这样的：函数f称为一对一的或单射的,当且仅当对于f的定义域中的所有a和b,f(a)=f(b)蕴含着a=b.一对一的函数称为单射.
这个定义我就搞不懂了,既然定义说是一对一的,如果a=b的话还是一对一的吗?