单射

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