จากนิยามของเซตความสัมพันธ์ใน A คือ จับคู่ระหว่าง A กับ Aจากนิยามของฟังก์ชันฟังก์ชัน คือ ตัวหน้าแต่ละตัว จับคู่ได้ไม่เกิน 1 ครั้งจากข้อ 1. เท่ากับ 2. ไม่เท่ากับ 3. หารลงตัว 4. หารไม่ลงตัว ดังนั้น ข้อ 3 ไม่ใช่ฟังก์ชัน