Dans cet exercice, le professeur va nous démontrer la Propositon 2. Pour tout ensemble E et toutes parties A et B de E, on a : A  B <=> B (barre)  A (barre). La démonstration qu’il va nous montrer est utile pour les exercices. Montrons que A  B implique que B (barre) est  A (barre). Supposons que A est  B : soit x à B (barre) alors x n’appartient pas à B, et comme A est  B, x n’appartient pas à A c’est-à-dire x appartient à A (barre) d’où B (barre)  A (barre).