es inyectiva, uno a uno, si a elementos distintos del conjunto (dominio) les corresponden elementos distintos en el conjunto {\displaystyle Y}Y (codominio) de {\displaystyle f}f. Es decir, cada elemento del conjunto Y tiene a lo sumo una preimagen en X, o, lo que es lo mismo, en el conjunto X no puede haber dos o más elementos que tengan la misma imagen.
