complémentaire d'un ensemble

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 :