Pour faire cet exercice, il importe de bien se souvenir de ce qu'est une image et une image réciproque.

Que veut-on montrer ?

On prend donc un élément de et son image qui est dans On veut montrer que est dans D'après la définition de l'image réciproque d'un ensemble, cela signifie que est dans ce qui est vrai.

Soit donc

Donc :