Частным случаем понятия соответствия является отображение.
Соответствием между элементами множеств х и у называются отображения х в у. Если каждому элементу х из множества Х соответствует только один элемент множества у, этот элемент называют образом элемента х при данном отображении.
Если отображение х в у такое, что каждый элемент у из множества У соответствует одному или нескольким элементам множества х, то такое отображение называют отображение множества х на множество у.
Виды отображений:
- Если каждый элемент множества х является образом хотя бы одного элемента из множества у, отображение называется сюръективным (сюръекцией) или отображением множества х на множество у.
- Если каждый элемент множества у является образом не более 1 элемента из Х, отображение называется инъективным или инъекцией.
- Если каждый элемент множества у является образом того 2го элемента из Х, то отображение называется биекцией (биективным) или однозначным отображением.
