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