chama-se função inversa de f, que se identifica po f¹, a função com dominio b e imagem a definida por f² (b)=a, se e somente f(a)=b.

A afirmação apresentada na descrição da pergunta é uma definição correta da função inversa de f. A função inversa de f é representada por f^-1 e é definida como a função que inverte a relação de f, ou seja, se f(a) = b, então f^-1(b) = a. É importante lembrar que nem todas as funções possuem uma função inversa, e que para que exista uma função inversa, a função original deve ser injetora.