se define como correspondencia inversa de f, que llamaremos formula_21: