Langage mathématique

On déduit du théorème 1 les propriétés suivantes des opérations ensemblistes. Les démonstrations constituent un bon exercice de traduction, que nous laissons au ...