Обернене відношення

Нехай на множині ${\displaystyle X}$ задано бінарне відношення ${\displaystyle R.}$ Тоді його зворотним називається відношення ${\displaystyle R^{-1},}$ побудоване таким чином:

${\displaystyle \forall x,y\in X\quad {\bigl (}xR^{-1}y{\bigr )}\Leftrightarrow {\bigl (}yRx{\bigr )}.}$

• Відношення рівне своєму оберненому є симетричним.
• Якщо відношення ${\displaystyle R}$ має такі властивості: рефлексивність, антирефлексивність, симетричність, антисиметричність і транзитивність, то й обернене відношення ${\displaystyle R^{-1}}$ має такі ж властивості.
• Якщо відношення ${\displaystyle R}$ ін'єктивне, сюр'єктивне або функціональне, то ${\displaystyle R^{-1},}$ не обов'язково буде таким же.

• Для відношення "бути батьком", оберненим є "бути сином". Для відношення "бути предком" є зворотнім відношення "бути нащадком"
• На множині дійсних чисел оберненим до відношення < (менше) є відношення > (більше).

• Куратовский К., Мостовский А. Теория множеств. — Москва : Мир, 1970. — 416 с.(рос.)
• Хаусдорф Ф. Теория множеств. — Москва ; Ленинград : ОНТИ, 1937. — 304 с. — ISBN 978-5-382-00127-2.(рос.)