Etude de démonstration sur les applications.

[inviteba4146d1]

Bonjour. Je viens d'étudier cette démonstration, mais la partie que j'ai souligné n'est elle pas la définition d'une application surjective, or il n'a jamais été dit qu'elle l'était !


-----

[Seirios]

Bonjour,

C'est une simple reformulation du fait que et : tu auras nécessairement des antécédents pour , même si n'est pas nécessairement surjective.