An injective map is one-to-one (X to imf).

f:X->Y injective <=> x!=x' => f(x)!=f(x')