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