Zormuche @ 23-10-2021 à 00:07Ce n'est pas bon : tu n'as pas considéré tous les éléments de
)
(j'utilise ce P car je le préfère), mais seulement les singletons
Cette remarque concerne uniquement le cas où on montre que

est injective n'est ce pas?
Si je considère A et B deux parties de X telles que f(A)=f(B), j'en pourrai conclure (par symétrie des rôles) que pour tout a élément de A, il existe b élément de B tel que: f(a)=f(b). Et puisque f est injective alors a=b. En fait a est pris qqconque et b dépend de a (
qqconque également),
on en conclut que A=B. Mais je me doute de tout ce qui est en rouge...