a function f is invertible if f is bijective