ความหมายของฟังก์ชัน

ฟังก์ชัน คือ ความสัมพันธ์ซึ่งในสองคู่อันดับใดๆ ของความสัมพันธ์นั้น ถ้าสมาชิกตัวหน้าเหมือนกันแล้ว สมาชิกตัวหลังต้องไม่ต่างกัน

นั่นคือ       ถ้า (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 จุด แสดงว่าความสัมพันธ์นั้นไม่เป็นฟังก์ชัน