嵌射函数、一对一函数，英文称 injection、injective function或 one-to-one function）为一函数，其将不同的输入值对应到不同的函数值上。更精确地说，函数"f"被称为是单射的，当对每一陪域内的"y"，存在最多一个定义域内的"x"使得"f"("x") = "y"。由从"X" 映射至"Y" 的单射函数所组成的集合标记为"Y"，该符号的由来为下降阶乘幂。当"X" 及"Y" 分别为具有"m" 个及"n" 个元素的有限集合时，从"X" 映射至"Y" 的单射函数数量可以以下降