[ครูนะ]

ให้ S เป็นความสัมพันธ์สมมูลบนจำนวนจริง

ให้ A เป็นเซตบนจำนวนจริงซึ่งไม่เท่ากับเซตว่าง

กำหนดเซตของชั้นสมมูลทั้งหมดของ A สัญลักษณ์ คือ A/S

กำหนดฟังก์ชัน f:A/S ไปยัง A/S

แล้วพิสูจน์ว่า f เป็นฟังก์ชันหนึ่งต่อหนึ่ง

รบกวนผู้รู้ช่วยแนะแนวทางด้วยครับ ผมติดพิสูจน์ไม่ออกครับ ไม่เคยเจอแบบนี้ ปกติเจอแบบธรรมดา