Let f be a function with domain D, and let g be an extension of f with domain A. Then by...

Let f be a function with domain D, and let g be an extension of f with domain A. Then by definition, f = g|D and D ⊆ A. Let i be the inclusion mapping from D to A given by i (x) = x for all x ∈ D. Prove that