Bonjour, j'ai un petit problème. J'ai deux théorèmes à démontrer mais je bloque aux 2 théorèmes.
1) Le premier théorème est : Quelque soit l'ensemble A et B, x, si complémentaire de A dans l'ensemble U (ensemble complémentaire de B dans l'ensemble U ( désolé je n'ai pas trouvé les symboles correspondants) alors A B. Par définition de l'inclusion, j'ai donc déduis que x, si x complémentaire de B dans l'ensemble U alors x complémentaire de B dans l'ensemble U. Mais la je bloque. Je trouve pas .

2) Le deuxième théorèmes est le suivant : Quelque soit l'ensemble A et B, si  A complémentaire de B dans l'ensemble U = alors  AB. Par définition de l'égalité, j'en ai déduis que A complémentaire de B dans l'ensemble U A complémentaire de B dans l'ensemble U. Puis la je bloque aussi.

Je vous remercie d'avance pour l'attention que vous porterez à mon exo.