Le complémentaire d'un sous-ensemble A d'un ensemble E est l'ensemble des éléments de E qui n'appartiennent pas à A. Notation :
ou 
.complémentaire (ensemble -) (1) :
Le complémentaire d'un sous-ensemble A d'un ensemble
E est l'ensemble des éléments
de E qui n'appartiennent pas à A. Notation :
ou .
Si E est l'ensemble des lettres de l'alphabet, et A l'ensemble des voyelles,
alors son complémentaire
est l'ensemble des consonnes.