Définition 2

Définition :

Soit Ω un ensemble, et E un sous-ensemble de Ω.

On appelle complémentaire de E dans Ω, le sous-ensemble de Ω noté E ¯ overline {E} dont les éléments ne sont pas dans E.

Ainsi, E⋃ E ¯ overline {E} = Ω et E⋂ E ¯ overline {E} = Ø.

Exemple

L'ensemble des élèves d'une classe de Troisième est Ω = {Dorcas, Christian, Bouchratou, Ahmad, Fadilatou, Chérifa, Jacob, Patrice, Juliette, Fataf}. En fin d'année, les élèves qui ont réussi à l'épreuve du BEPC forme l'ensemble

A = {Dorcas, Christian, Bouchratou, Ahmad, Fadilatou, Patrice, Juliette, Fataf}.

Le complémentaire de A dans Ω est l'ensemble  A ¯ bar A = {Chérifa, Jacob}, représentant l'ensemble des élèves qui ont échoué à cette épreuve.