Теорема о инъекциях

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

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

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