Def. Если область определения функции , то функция называется отображением.
Def. Отображение называется тождественным, если т.е. если оно каждый элемент переводит в себя. Очевидно, что в этом случае область определения и множество значений совпадают с самим множеством .