complémentaire d'une partie A d'un ensemble E
Partie formée par les éléments de E qui n'appartiennent pas à A.
Si
désigne le complémentaire de A dans E, on a les propriétés suivantes :
1.
;
2.
et
;
3.
et
;
4.
;
5.
et
.