СООТВЕТСТВИЕ

СООТВЕТСТВИЕ между множествами  и  (или из  в ) — всякое подмножество р декартова произведения . Таким образом, указанное соответствие из  в , называемое также бинарным соответствием, по существу является «многозначной функцией», когда некоторому элементу из  может быть поставлен в соответствие (сопоставлен) не один, а множество элементов из . Способы задания С. различные: оно может быть задано графами (стрелками), таблицами, парами или другим каким-либо способом.

Частным случаем С. является функциональное соответствие , или функция, т. е. однозначное С., когда каждому  соответствует единственный .

См. также: Отношение, Бинарное отношение, Многозначная функция.