servant de
référentiel, le complémentaire
de X dans
est le sous-ensemble noté Xc,
fourni par
Xc = {x tel que x 
et x 
X}.
La figure 4.1 illustre la notion de complémentaire.
Si le référentiel
est modifié, le complémentaire diffère.
Soit un sous-ensemble X d'un ensemble
servant de
référentiel, le complémentaire
de X dans
est le sous-ensemble noté Xc,
fourni par
Xc = {x tel que x et x X}.
La figure 4.1 illustre la notion de complémentaire.
Si le référentiel
est modifié, le complémentaire diffère.
Tout comme pour les opérateurs logiques, il existe des formules de
MORGAN où intervient le complémentaire: le complémentaire
d'une intersection est égal à l'union des complémentaires
(X 
Y)c = Xc 
Yc
et vice versa.
La notion de complémentarité est importante. Elle permet de faire un lien entre un traitement effectué sur un objet (l'ensemble X) et l'arrière-plan. Quand on peut traiter indifféremment un objet ou son complémentaire, on parle d'auto-dualité. Remarquons que les traitements sont rarement auto-duaux.
