单射

数学函数之一
设f是由集合A到集合B的映射,如果x,y∈A,且x≠y等价于f(x)≠f(y),则称f为由A到B的单射。

定义解释

设f是由集合A到集合B的映射,如果
则称f为由A到B一函数,其将不同的引数连接至不同的值上。更精确地说,函数f被称为是单射时,对每一值域内的y,存在至多一个定义域内的x使得
另一种说法为,f为单射,
其中a、b属于定义域。
单射在某些书中也叫入射,可理解成“源不同则像不同”。