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