Injective Function

A function is injective (“one-to-one”) if

x≠x′⟹f(x)≠f(x′)

i.e. Given a set X and a set Y, no two elements (say, x and x′) from X map to the same element in Y.

(Note: a function can be both injective and surjective, this image is injective only)