[Onniers]

กำหนดให้ R เป็นความสัมพันธ์สมมูลในเซต X ซึ่ง Dr=X จงแสดงว่า R เป็นความสัมพันธ์สมมูลก็ต่อเมื่อ RoR^-1(R อินเวอร์ส) =R