Các mối quan hệ {(1,1), (1,2), (2,2), (2,3), (3,1), (3,2)} trên {1,2,3} không phải là đối xứng . Làm thế nào
chúng ta có thể tạo ra một mối quan hệ đối xứng đó là càng nhỏ càng tốt và chứa R? Để làm điều này,
chúng ta chỉ cần thêm (2,1) và (1,3), vì đây là những cặp duy nhất của hình thức (b, a) với
(a, b) ∈ R mà không phải là trong R. mới này mối quan hệ là đối xứng và chứa R. Hơn nữa, bất kỳ
mối quan hệ đối xứng có chứa R phải có mối quan hệ mới này, vì một mối quan hệ đối xứng
có chứa R phải chứa (2,1) và (1,3). Do đó, mối quan hệ mới này được gọi là
đóng cửa đối xứng của R.
đang được dịch, vui lòng đợi..
