functions

i is a bijection function from X-->X
prove
f inverse(f(x)) = x

If is an injective function, then the inverse is defined by

for all

Since bijective implies injective, the result follows immediately.