我們知道,滿足單射和滿射的映射才是一一映射。 通過對應法則,函數的定義域和值域,是滿足滿射條件的。 所以,函數構成一一映射的條件是:若且唯若定義域的任意兩個不同的值,通過對應法則,在值域中都有兩個不同的函數值與之對應。簡言之,“自變量不同,函數值不同”。