está bien definida (hecho que puede verificar el lector) y es biyectiva.