Ví dụ này cho thấy, việc đóng cửa đối xứng của một quan hệ R có thể được xây dựng bằng
cách thêm tất cả các cặp có thứ tự của các hình thức (b, a), trong đó (a, b) là trong các mối quan hệ, mà không phải là al
hiện đã sẵn sàng trong R. thêm những cặp tạo ra một mối quan hệ đó là đối xứng, có chứa R,
và được chứa trong bất kỳ mối quan hệ đối xứng chứa R. việc đóng cửa đối xứng của một
mối quan hệ có thể được xây dựng bằng cách tham gia các công đoàn của một mối quan hệ với nghịch đảo của nó (được định nghĩa trong
lời mở đầu của tập 26 trong mục 9.1); đó là, R ∪ R -1 là việc đóng cửa đối xứng của R, nơi
R -1 = {(b, a) | (a, b) ∈ R}. Người đọc nên xác minh tuyên bố này.
đang được dịch, vui lòng đợi..
