Esto es: una correspondencia matemática es una aplicación, si todos los elementos del conjunto inicial tienen una imagen y solo una imagen.