Injective, surjective and bijective are properties and issues of mappings.
A mapping f:K->V is called injective, if f(x)=f(y) => x=y for all x,y in K
f is called surjektive, if there exists one x with f(x) in V
f is called bijektive, if f is injective and surjective.
