Dans cet exercice, le professeur va nous démontrer la proposition 6. On dit que pour toutes parties A, B et C de E nous avons deux égalités. Le professeur montre que A inter B union C est inclus dans A inter B union A inter C. Le professeur démontre donc tout élément du premier ensemble se retrouve dans l’élément du second ensemble.