Le professeur va démontrer la proposition 2 du cours concernant l’ensemble. Pour toute ensemble E et toutes parties A et B de E nous avons ici cette équivalence : A inclus dans B équivaut à B (barre) inclus dans A (barre). Puisque nous avons une équivalence à démontrer, nous devons montrer cette première application <= qui va être notre première démonstration et ensuite cette application =>