Примеры
,
Этап 1
Поскольку имеется одно значение , соответствующее каждому значению в , это отношение является функцией.
Отношение является функцией.
Этап 2
Область определения ― это множество всех значений . Множество значений ― это множество всех значений .
Область определения:
Множество значений:
Этап 3
Поскольку имеется одно значение , соответствующее каждому значению в , это отношение является функцией.
Отношение является функцией.
Этап 4
Область определения ― это множество всех значений . Множество значений ― это множество всех значений .
Область определения:
Множество значений:
Этап 5
Область определения первого отношения равна множеству значений второго отношения . Кроме того, множество значений первого отношения равно области определения второго отношения , значит, является обратным к и наоборот.
— обратная к