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