En matemáticas, especialmente en análisis matemático, si "f" es una función que asigna elementos de "I" en elementos de "J", en ciertas condiciones será posible definir la función "f " que realice el camino de vuelta de "J" a "I".