Destaquemos que f, al igual que f, es una aplicación biyectiva, que queda determinada de modo único por f y que cumple: