Ensemble (mathématiques)/Opérations

Définition

On appelle intersection de deux ensembles quelconques E et F, l'ensemble des éléments qui appartiennent à la fois à E et F. Cet ensemble se note et se lit « E inter F ».

Si on écrit la définition sous forme purement mathématique, on a .

Exemple

• A = { 2 ; 3 ; 5 ; 9 }
• B = { 0 ; 2 ; 3 }

L'intersection de A et B est l'ensemble .

Définition

Soient E et F deux ensembles quelconques. E et F sont dits disjoints, lorsque leur intersection est vide, c'est-à-dire

Remarque

Il ne faut surtout pas confondre distincts avec disjoints. Deux ensembles disjoints n'ont pas d'élément en commun, alors que deux ensembles distincts peuvent en avoir. Pour que deux ensembles soient distincts il faut et il suffit qu'il existe un élément appartenant à l'un mais pas à l'autre.

Définition

On appelle réunion de deux ensembles E et F l'ensemble des éléments qui appartiennent à E ou à F (éventuellement les deux). Cet ensemble se note et se lit « E union F ».

Sous forme purement mathématique, cette définition s'écrit .

Exemple

• A = { 2 ; 3 ; 5 ; 7 }
• B = { 0 ; 2 ; 3 }

La réunion de A et B est l'ensemble .

Définition

Soient E et F deux ensembles quelconques. Nous appelons différence de E et F, l'ensemble des éléments qui appartiennent à E mais pas à F. Cet ensemble se note et se lit « E privé de F ».

La définition de la différence s'écrit sous forme mathématique .

On trouve parfois également la notation

Définition

Soient E et F deux ensembles quelconques. On appelle différence symétrique de E et F, l'ensemble des éléments qui appartiennent à E ou à F mais pas aux deux à la fois. Cet ensemble se note EΔF et se lit « E delta F ».

Sous forme mathématique pure, la définition devient

.

Définition

Soient U un ensemble quelconque et A une partie quelconque de U. On appelle complémentaire de A par rapport à U (ou de A dans U) ou encore différence de U et de A, l'ensemble des éléments qui appartiennent à U mais pas à A.

Cet ensemble se note ou ou .