單射

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