Bonjour
f injective signifie que chaque y de f(E) est l'image d'un unique x de E. g sera la fonction de F dans E qui à y de f(E) associe l'unique x dont y est l'image par f.
Aux y de F qui ne sont pas dans f(E) tu associes ce que tu veux.