C'est mal rédigé mais tu as compris pour le sens
.
Pour l'autre, tu peux faire une petite disjonction de cas.
- Si
et
sont deux ensembles disjoints alors ton membre de droite est forcément l'ensemble vide. C'est parce que les
et les
jouent des rôles symétriques. En prenant X = {1,...,n}, ça veut dire que ton intersection est incluse à la fois dans
et dans
. Contradiction, sauf si elle est vide...
- Dans le cas contraire, on est exactement en train de dire qu'il existe un i et un j tels que
soit non vide. Si i !=j, tu prends
et
et ça veut dire que ton membre de droite est
inclus à la fois dans
mais pas dans
et aussi inclus dans
mais pas dans
donc dans
mais pas dans
.
Pourtant i et j jouent des rôles symétriques, donc si tu prends X = {j} et X = {i}^c tu obtiendras le même résultat avec i et j inversés. Contradiction.
Ca veut dire que i = j et donc qu'il existe un i tel que
.
Reste à appliquer avec X = {i} pour en déduire que ton membre de droite est dans
, ce qu'il fallait démontrer.
C'est que des mots, mais pas bien difficile, essaie de bien comprendre 