Ensembles images

Dans cette vidéo, Paul parle de la manipulation d'images entre deux ensembles, E et F, et explique comment démontrer que A est inclus dans B en implique F de A inclus dans F de B. Il montre également que l'inclusion réciproque n'est pas toujours vraie. Ensuite, il démontre que F de A inter B est inclus dans F de A intersection F de B, mais que l'inclusion réciproque n'est pas toujours vraie. Enfin, il explique que l'image de l'union d'un ensemble est égale à l'union des images de cet ensemble, mais que cela n'est vrai que dans un sens pour l'intersection.