Question

A is finite and not empty. How do you prove f is bijective?
f(i) = g(i) if i ≤ n, and a if i > n, where g(i) = Ĵ_n -> A, a∈A, and Ĵ_n = {i ∈Z+ | i ≤ n}