Le professeur va démontrer la proposition de l’application 13, soit F une application d’un ensemble E dans un ensemble F. Pour tous les sous-ensembles A1 et A2 de E on a A1 inclus dans A2 implique que F (A1) inclus dans F (A2). Dans cet exercice, nous allons voir l’inclusion d’image directe.