รบกวนถามเกี่ยวกับชั้นสมมูล

[ครูนะ]

ให้ S เป็นความสัมพันธ์สมมูลของ A

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

ให้ x, y อยู่ในชั้นสมมูลหนึ่งใน A/S จะได้ xry , r เป็นความสัมพันธ์สมมูล

ผมสามารถสรุปได้ไหมว่า ถ้า xry แล้ว x = y

รบกวนผู้รู้ด้วยครับ

[nooonuii]

ไม่จำเป็นครับ เว้นเสียแต่ว่าชั้นสมมูลนั้นมีสมาชิกแค่ตัวเดียว