Complémentaire (théorie des ensembles)
Ensemble qui contient tous les éléments n'appartenant pas à un ensemble initial / De Wikipedia, l'encyclopédie encyclopedia
Pour les articles homonymes, voir Complémentaire.
En mathématiques, et plus particulièrement en théorie des ensembles, le complémentaire d'une partie d'un ensemble
est constitué de tous les éléments de
n'appartenant pas à
.
![Thumb image](http://upload.wikimedia.org/wikipedia/commons/b/b1/Complement.png)
Le complémentaire de est noté
,
,
[réf. nécessaire]. En cas de risque de confusion, si l'on veut préciser que l'on parle du complémentaire de
dans
, on note
. Il est parfois noté
, mais cette notation est à éviter car elle désigne également l'adhérence de A.
Si est différent de l'ensemble vide et de
, alors
et
forment une partition de l'ensemble
.