在數學裏,單射函數(或稱嵌射函數[1]、一對一函數,英文稱injection、injective function 或 one-to-one function)為一函數,其將不同的輸入值對應到不同的函數值上。更精確地說,函數f被稱為是單射的,當對每一對應域內的y,存在最多一個定義域內的x使得f(x) = y。
-
-
單射且滿射的函數(是對射函數)
-
非單射但滿射的函數(不是對射函數)
-
非單射也非滿射的函數(也不是對射函數)
由從X 映射至Y 的單射函數所組成的集合標記為YX,該符號的由來為下降階乘冪。當X 及Y 分別為具有m 個及n 個元素的有限集合時,從X 映射至Y 的單射函數數量可以以下降階乘冪表示為nm。