ฟังก์ชัน (Function) คือ ความสัมพันธ์ ซึ่งในสองคู่อันดับใด ๆ ของความสัมพันธ์นั้น
ถ้ามีสมาชิกตัวหน้าเท่ากันแล้ว สมาชิกตัวหลังต้องไม่แตกต่างกัน
หรือ ฟังก์ชัน คือ ความสัมพันธ์ ซึ่งในสองคู่อันดับใด ๆ ของความสัมพันธ์นั้น ถ้าสมาชิกตัวหน้าเท่ากัน สมาชิกตัวหลังต้องเท่ากันด้วย
นั่นคือ ความสัมพันธ์ f จะเป็นฟังก์ชัน ก็ต่อเมื่อ ถ้า (x, y1) ε f และ (x, y2) ε f แล้ว y1 = y2
ถ้าหากว่าความสัมพันธ์ที่กำหนดให้อยู่ในรูปแบบบอกเงื่อนไข การตรวจสอบว่าความสัมพันธ์นั้นเป็นฟังก์ชันหรือไม่สามารถทำได้กลายวิธี ดังต่อไปนี้