Soit A un sous ensemble d'un ensemble de référence 
, le complémentaire de A dans
est l'ensemble des éléments de
qui n'appartiennent pas à A .
On le note 
, donc
( voir notions de base sur les ensembles
)
Complémentaire d'une réunion et d'une intersection
Formules de Morgan
Soient 
( n
2 ) n sous ensembles
d'un ensemble de référence
, on a :
