Le professeur va nous montrer la Proposition 6 : Pour toute partie A, B et C de E, on a A  (B  C) = (A  B)  (A  C). Il va nous expliquer pour pouvoir faire les exercices que A  (B  C) est inclut dans (A  B)  (A  C). Soit x  A  (B  C). Donc x  A et x  à B  C, ici x à B ou x  à C. Si x appartient à B alors x appartient à A inter B. Si x appartient à C alors x appartient A  C. D’où x qui se trouve bien dans (A  B)  (A  C).