A function f is said to be one-to-one, or an injunction, if and only if f(a) = f(b) implies that a = b for all a and b in the domain of f. A function is said to be injective if it is one-to-one.
ฟังก์ชัน f มีการกล่าวถึงเป็นหนึ่งต่อหนึ่งหรือคำสั่ง, ถ้าหาก f () = f (ข) แสดงให้เห็นว่า b = ทั้งหมดและ ขในโดเมนของ f ฟังก์ชั่นบอกว่าจะเป็นหนึงถ้ามันเป็นแบบหนึ่งต่อหนึ่ง
ฟังก์ชัน f ว่า เป็น คน หรือคำสั่ง ถ้าและเพียงถ้า f ( A ) = f ( b ) แปลว่า a = b และสำหรับทั้งหมด : b ในโดเมนของ F . ฟังก์ชันว่า เป็น และถ้าเป็นแบบหนึ่งต่อหนึ่ง