Aplicación inyectiva

Una aplicación inyectiva es aquella donde cada elemento del segundo conjunto viene de un elemento del primer conjunto, y de cada elemento del primer conjunto se asigna un elemento del primero.

Es decir, si tomamos un elemento, da igual del primer o segundo conjunto, podemos saber de que elemento único viene porque no hay dos asignaciones o más, sino una.

Una aplicación o función va del primer conjunto A a B donde cada elemento de A se asigna a un elemento único de B (sino no es función).