在数学里,单射函数为一函数,其将不同的引数连接至不同的值上。更精确地说,函数f被称为是单射的,当对每一陪域内的y,存在至多一个定义域内的x使得f(x) = y。 另一种说法为,f为单射,当若f(a) = f(b),则a = b(或若a b,则f(a) f(b)),其中a、b属于定义域。
---------------------------------------------
在集合论中,一由集合X至集合Y的函数称为双射的,若对每一在Y内的y,存在唯一一个在X内的x,使得f(x)=y。
换句话说,f为双射的若其为两集合间的一对一对应,亦即同时单射且满射。
例如,由整数集合至的函数succ,其将每一个整数x连结至整数succ(x)=x+1,及另一函数sumdif,其将每一对实数(x,y)连结至sumdif(x,y) = (x + y, x − y)。