Soit X un ensemble non-vide et A1,A2,....,An une partition de X , on note:
T={⋃(i∈J)Ai;J⊂{1,…,n}}.
Démontrer que T est la tribu engendrée par A1 ,…,An.
Ce que je n ai pas compris , c'est que comment montrer que le complémentaire Ai dans E appartient à T sachant que le J est juste inclus dans N mais pas egal à N