CptLapinus @ 19-04-2020 à 20:25Merci, du coup j'ai réussi a le prouver.
Mais j'aimerais juste comprendre pourquoi il ne faut pas le comprendre:

x

f(P),x

P, ce qui m'amènerait a faire la preuve dans l'autre sens.
Il n'y a aucun problème. C'est juste que la seule information (de l'énoncé) que tu peux exploiter pour prouver que x serait alors dans P, c'est le fait que :
x

f(P) => il existe y dans P tel que x = f(y) ) => y

P,
et on va alors reprendre avec cet y de P pour démontrer que f(y) est dans P ce que @carpediem t'avais suggéré avec son x.