Complémentaire

Si $A\subset E$, son complémentaire dans $E$ est l'ensemble des points de $E$ n'appartenant pas à $A$. On le note $A^{c}$, $\overline{A}$, ou encore $\complement ^{A}_{E}$.