Однозначное соответствие
называется также функцией. При этом вместо записи
пишут
. Если для некоторого
не существует
, такого, что
, то говорят, что
не определено.
Графиком функции
называется множество
.
Существует два вида отображений: инъекции и сюръекции.
Отображение
называется сюръекцией, или отображением множества
на множество
, если
.
Отображение
называется инъекцией, или взаимно однозначным отображением множества
в множество
, если
.
Отображение
, которое одновременно является и инъекцией, и сюръекцией, называется биекцией, или взаимно однозначным отображением множества
на множество
.






