Соответствием между множеством х и у называется подмножество (R c XxY) декартово произведение ХхУ. Х называют областью отправления данного соответствия, у – областью прибытия.
Соответствие задается, как и любое множество (перечисление элементов, указание характеристического свойства).
Соответствие можно задать с помощью графа и графика.
Изучая соответствие между множествами х и у, рассматривают и обратное соответствие («меньше на.,» ; обозначается S-1)
Взаимно-однозначным соответствием между множеством х и у, называется такое соответствие, при котором каждому элементу множества х сопоставляется каждый элемент множества у, и каждый элемент множества у соответствует каждому элементу множества х.
Множества х и у называется равнозначными, если между элементами можно установить взаимно-однозначное соответствие (х~y).