En matemáticas, si f es una aplicación o función que lleva elementos de I en elementos de J, en ciertas condiciones será posible definir la aplicación f ^-1 que realice el camino de vuelta de J a I. En ese caso diremos que f ^-1 es la aplicación inversa o recíproca de f.