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 à .
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 .