号表示如下：依换质换位律，该叙述逻辑等价于
例子与反例.形象化地说，当定义域和到达域都是实数集 R时，单射函数"f" : R → R为一绝不会与任一水平线相交超过一点的图。
单射函数为反函数.具左反函数的函数一定是单射函数。亦即，给定一函数，若存在一函数，使得对每个"X" 内的元素"x"，则"f" 为单射函数。相反地，每个具非空定义域的单射函数"f" 都会有个左反函数"g"（该叙述需用到选择公理，这在大多数的数学领域里均成立）。须注意的是，"