Quan_hệ_đối_xứng

Một quan hệ đối xứng là một dạng quan hệ hai ngôi (quan hệ nhị phân). Ví dụ đó là quan hệ "bằng với" (=), bởi vì nếu a = b là ĐÚNG thì b = a cũng là ĐÚNG. Theo cách chính thức, một quan hệ 2 ngôi R trên một tập X là đối xứng tương đương logic khi: