Исправление dikiy, 20.02.16 18:55 (текущая версия) :
можно про это на пальцах?
f инъективна - это когда из a!=b => f(a)!=f(b).
В данном случае интересно обращение этой импликации: f(a)=f(b) => a=b.
Исходная версия dikiy, 20.02.16 18:54: