ฟังก์ชั่น

ฟังก์ชัน  จากข้อมูลนำเข้าในเซต  ไปยังผลที่เป็นไปได้ในเซต  (เขียนเป็น ) คือความสัมพันธ์ระหว่าง  กับ  ซึ่ง

1. สำหรับทุกค่า  ใน  จะมี  ใน  ซึ่ง  (  มีความสัมพันธ์  กับ ) นั่นคือ สำหรับค่านำเข้าแต่ละค่า จะมีผลลัพธ์ใน  อย่างน้อย  ผลลัพธ์เสมอ
2. ถ้า  และ  แล้ว  นั่นคือ ค่านำเข้าหลายค่าสามารถมีผลลัพธ์ได้ค่าเดียว แต่ค่านำเข้าค่าเดียวไม่สามารถมีผลลัพธ์หลายผลลัพธ์ได้

ค่านำเข้า  แต่ละค่า จากโดเมน จะมีผลลัพธ์  จากโคโดเมนเพียงค่าเดียว แทนด้วย  อ่านเพิ่มเติม