Примеры

1. — инъективно.

2. — инъективно.

3. — не является инъективным ().

Биекция — это отображение, которое является одновременно и сюръективным, и инъективным. При биективном отображении каждому элементу одного множества соответствует ровно один элемент другого множества, при этом, определено обратное отображение, которое обладает тем же свойством. Поэтому биективное отображение называют ещё взаимно-однозначным отображением (соответствием), одно-однозначным отображением.

Если между двумя множествами можно установить взаимно-однозначное соответствие (биекцию), то такие множества называются равномощными. С точки зрения теории множеств, равномощные множества неразличимы.

Взаимно-однозначное отображение конечного множества в себя называется перестановкой (элементов этого множества).

Функция называется биекцией (и обозначается ), если она:

1. Переводит разные элементы множества в разные элементы множества (инъективность). Иными словами,

.

2. Любой элемент из имеет свой прообраз (сюръективность). Иными словами,

.