我们知道，满足单射和满射的映射才是一一映射。 通过对应法则，函数的定义域和值域，是满足满射条件的。 所以，函数构成一一映射的条件是：当且仅当定义域的任意两个不同的值，通过对应法则，在值域中都有两个不同的函数值与之对应。简言之，“自变量不同，函数值不同”。