ความหมายของฟังก์ชัน
ฟังก์ชัน คือ ความสัมพันธ์ซึ่งในสองคู่อันดับใดๆ ของความสัมพันธ์นั้น ถ้าสมาชิกตัวหน้าเหมือนกันแล้ว สมาชิกตัวหลังต้องไม่ต่างกัน
นั่นคือ
ถ้า (x1,y1) ∈ r และ (x1,y2) ∈ r แล้ว y1= y2
หลักในการพิจารณาว่าความสัมพันธ์เป็นฟังก์ชันหรือไม่
1. ถ้าความสัมพันธ์นั้นอยู่ในรูปแจกแจงสมาชิก ให้ดูว่าสมาชิกตัวหน้าของคู่อันดับซ้ำกันหรือไม่ ถ้าสมาชิกตัวหน้าของคู่อันดับซ้ำกัน แสดงว่าความสัมพันธ์นั้นไม่เป็นฟังก์ชัน
2. ถ้าความสัมพันธ์นั้นอยู่ในรูปของการกำหนดเงื่อนไขสมาชิก
r = {(x,y) ∈ A× B | P(x,y) } ให้แทนค่าแต่ละสมาชิกของ x ลงในเงื่อนไข P(x,y) เพื่อหาค่า y ถ้ามี x ตัวใดที่ให้ค่า yมากกว่า 1 ค่า แสดงว่าความสัมพันธ์นั้นไม่เป็นฟังก์ชัน
3. พิจารณาจากกราฟของความสัมพันธ์ โดยการลากเส้นตรงขนานกับแกน y ถ้าเส้นตรงดังกล่าวตัดกราฟของความสัมพันธ์มากกว่า 1 จุด แสดงว่าความสัมพันธ์นั้นไม่เป็นฟังก์ชัน
