Соответствие

Формально S M.

Частные случаи.

1. Если n = 2, то говорят о бинарном соответствии S M₁ M₂.

2. Если говорят о подмножестве кортежей универсального отношения Mⁿ, то имеют в виду n -арное отношение r, т.е. R Mⁿ.

3. R M² называют бинарным отношением на множестве M.

4. Однозначное n -арное отношение есть n -местная функция.

Пример. Пусть M = {х₁,х₂,х₃} и R M².

Рассматривая множество первых компонент отношения, как его область определения, а множество вторых координат, как область значений бинарного отношения, найдём функции во множестве отношений

{‹x₁,x₁›, ‹x₂,x₁›, ‹x₃,x₁› }

{‹x₁,x₂›, ‹x₂,x₄›, ‹x₃,x₃› }

Замечание. Поскольку S является подмножеством, то можно говорить о нечётких соответствиях, отношениях, функциях.