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

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

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

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

 

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

 

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