Отображение называется инъекцией (или вложением, или отображением «в»), если разные элементы множества переводятся в разные элементы множества .

Формально это значит, что если два образа совпадают, то совпадают и прообразы (). Инъективность является необходимым условием биективности (достаточно вместе с сюръективностью).

Инъекцию можно также определить как отображение, для которого существует левое обратное, то есть инъективно, если существует такое, что .

Примеры

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

Использование модели

В информатике

Организация связи «один к одному» между таблицами реляционной БД на основе первичных ключей

См. также

• Функция
• Сюръекция
• Биекция

Литература

• Н. К. Верещагин, А.Шень. Лекции по математической логике и теории алгоритмов. Часть 1. Начала теории множеств.
• Ершов Ю. Л., Палютин Е. А. Математическая логика: Учебное пособие. — 3-е, стереотип. изд. — СПб.: «Лань», 2004—336 с.