Бінарні відношення на множинах. Основні поняття та означення

інарне відношення (бінарне відношення на множині) — в математиці окремий випадок відношення на множині, яке встановлюється між двома елементами множини.

Кажуть також, що елементи a,b ∈ M знаходяться у бінарному відношенні R (часто записують у вигляді aRb), якщо впорядкована пара (a,b) ∈ R. Отже, R є підмножиною декартового квадрата: R ⊆ M×M.

Іноді розрізняють поняття бінарного відношення на множині та бінарного відношення між множинами, яке в цій енциклопедії називається відповідністю між множинами.