Определение 1. Отображение 
: 
называется инъективным или инъекцией, если два различных элемента из множества 
имеют образами при отображении два различных элемента из множества 
, т.е.
, 
.
Например, отображение : приведенное на следующей схеме
является инъекцией множества в множество . Здесь 
.
Определение 2. Отображение : называется сюръективным или сюръекцией, если каждый элемент из множества является образом при отображении по крайней мере одного элемента из , т.е.
такой, что 
, т.е. 
.
Сюръективное отображение – это отображение множества на множество .
Например, отображение :
является сюръективным, а отображение 
:
не является сюръективным.
Если 
при отображении : , то отображение - сюръективное.
Теорема. Отображение : биективно тогда и только тогда, когда оно инъективно и сюръективно одновременно.
Доказательство. Пусть : - биективно. Тогда каждый элемент 
является образом при отображении некоторого элемента 
, следовательно, отображение - сюръективно. А так как этот элемент 
- единственный, то из этого следует, что разным элементам соответствуют разные образы, т.е. отображение инъективно.
Обратно, пусть : - инъективно и сюръективно одновременно. Тогда в силу сюръекции , а ввиду инъективности отображения 
содержит единственный элемент.
Примеры.
1. 
, 
Отображение не сюръективно, т.к. элемент 
не является образом ни одного элемента из 
. Оно не является и инъективным, т.к. два различных элемента 
и 
имеют образом один и тот же элемент 
.
2. : 
, 
Отображение сюръективно, но не инъективно.
3. 
: 
, 
Отображение сюръективно и инъективно одновременно, т.к. оно биективно.
