lé gar js8 perdu au niveau de la qstion 2.Voici l'exo:
Soit X un ens fini totalement ordonné.Ds X² on note A la partie formée des couples (x;y) qui vérifient x<y.De même on pose B={(x;y) apartenan à X²/ x<=y} et C={(x;y) apartenan à X²/ y<x}
1) Démonter que A et C sont équipotents ( je l'ai fait facilemen mai si vs pouvez me donner une autre méthode ça ferai plaisir...lol)
2)En déduire que si n est le cardinal de X et si A n'est pa vide on a 2card(A)=n(n-1) .
merki d'avance...
-----