surjectivité d'une application

[invite736ce232]

alors voilà je dois montrer que @ est surjective, ca me parait evident mais je ne vois pas comment le montrer rigouresement . merci de votre aide.


on considere E un ensemble de cardinal n€N*. on note:
H={(A,B)€P(E)², A inclu dans B}.

on note @ : H->P(E) l'application definie par :
@((A,B))=A quelque soit (A,B)€H
-----

[inviteea028771]

Soit X appartenant à P(E), alors @((X,X)) = X, et (X,X) appartient bien à H...