Es decir, si todo elemento del conjunto final Y tiene al menos un elemento del conjunto inicial X al que le corresponde (condición de función sobreyectiva) y todos los elementos del conjunto inicial X tiene una única imagen en el conjunto final Y (condición de función inyectiva).
