函数所组成的集合标记为"Y"，该符号的由来为下降阶乘幂。当"X" 及"Y" 分别为具有"m" 个及"n" 个元素的有限集合时，从"X" 映射至"Y" 的单射函数数量可以以下降阶乘幂表示为"n"。
定义.令"f" 为一函数，且其定义域为一集合"X"，若且唯若对所有于"X" 内的元素"a" 及"b"，当时，，则该函数为单射函数；等价地说，当时，。以逻辑符号表示如下：依换质换位律，该叙述逻辑等价于
例子与反例.形象化地说，当定义域和到达域都是实数集 R