ฟังก์ชันหนึ่งต่อหนึ่ง

ในคณิตศาสตร์ ฟังก์ชันหนึ่งต่อหนึ่ง () เป็นฟังก์ชันที่ไม่จับคู่สมาชิกที่ต่างกันจากโดเมนไปยังสมาชิกตัวเดียวกันในโคโดเมน
 นิยาม 
ให้  เป็นฟังก์ชันที่โดเมนเป็นเซต  ฟังก์ชัน  เป็น ฟังก์ชันหนึ่งต่อหนึ่ง ก็ต่อเมื่อสำหรับทุก  และ  ใน  ถ้า  แล้ว  กล่าวคือ  แปลว่า  ในทางกลับกัน ถ้า  แล้ว 

เมื่อเขียนด้วยสัญลักษณ์



ซึ่งสมมูลกับประพจน์แย้งสลับที่



หมวดหมู่:ฟังก์ชันและการจับคู่
หมวดหมู่:มโนทัศน์เบื้องต้นในทฤษฎีเซต
หมวดหมู่:ประเภทของฟังก์ชัน