Теоретико-множинні операції над відношеннями

Оскільки відношення є множинами, елементами яких є впорядковані пари, то над ними можна виконувати всі відомі операції над множинами.

Наприклад, якщо , а , то

;

;

;

.

Якщо відношення “менше”, “більше”, “дорівнює” тощо записати значками для їх позначення у дужках, то операції над цими відношеннями матимуть вигляд:

.

Якщо для двох відношень і виконується умова , то називають розширенням відношення , а – звуженням відношення .

Наприклад, – розширення відношень і , бо і .