$$\large{\displaylines{\begin{array}{c|l} 1 & R=X \times Y \\ \\ 2 & R=\varnothing \\ \\ 3 & \color{#ff7800}R \subseteq X \times Y \\ & \color{#ff7800}\forall x \in X \ \exists ! y \in Y \end{array}}}$$

Какие бывают отношения?

Взаимно неисключающие отношения

Универсальное отношение: связывает все элементы множеств (декартово произведение)
Нуль-отношение: не связывает никакие элементы множеств (пустое множество)
Функциональное отношение: функция

. . . обозначение функции