Бінарне відношення на безлічі називається симетричним (англ. symmetric binary relation), якщо для кожної пари елементів множини виконання відношення спричиняє виконання відношення.
Симетрія – це пропорційність, пропорційність частин чого-небудь, розташованих по обидва боки від центру. Говорячи простіше, якщо обидві частини від центру однакові, це симетрія. Вісь симетрії фігури – це пряма, яка поділяє фігуру на дві симетричні частини.
Визначення Бінарне відношення на множині називається транзитивнимякщо для будь-яких трьох елементів з виконання відносин і слід виконання відносини.
Відношення – Математична структура, яка формально визначає властивості різних об'єктів та їх взаємозв'язку. Поширеними прикладами відносин у математики є рівність (=), ділимість, подібність, паралельність та багато інших.