Réponse : Bonsoir,

f est bijective alors pour tout y appartenant à l'image de f, il existe un unique antécédent x appartenant au domaine de définition de f, tel que f(x)=y.

g est bijective alors pour tout z appartenant à l'image de g, il existe un unique antécédent y appartenant au domaine de définition de f, tel que g(y)=z.

On a donc pour tout x appartenant au domaine de définition de f:

               f                 g

       x -----------> y ---------->z

            unique     unique

Pour tout x appartenant au domaine de définition de f, il existe un unique chemin reliant x à z, donc pour tout z appartenant à l'image de g, il existe un unique x tel que , est donc bijective.