Для всякого функционального отношения 
определим функцию 
, связанную с этим отношением.
Пусть функция устанавливает отображение между множествами 
и 
. Говорят, что функция имеет тип 
(обозначается 
).
Отображением в называется всюду определенное функциональное отношение (рис. 1.7a).
ОтображениемАнаВ называется всюду определенное и сюрьективное функциональное отношение ) (рис. 1.7b).
Рис.1.7.
Пример. Пусть – множество значений углов, – множество вещественных чисел. Отношение 
является функциональным, так как любое значение угла имеет только единственное значение синуса и, соответственно, определяет функцию . Данная функция является отображением, т.к. 
.
Является ли данное отображение отображением 
в ? Да, т.к. оно всюду определено, т.е. .
Является ли данное отображение отображением 
на ? Нет, т.к. оно не сюрьективно, т.е. 
.
