aplicación inyectiva

 Cada elemento del conjunto Y tiene una imagen en X, o, lo que es lo mismo, en el conjunto X no puede haber dos o más elementos que vengan la misma imagen.