Complémentaire
Soit A une partie d'un ensemble
Soit \(A\) une partie d'un ensemble \(E\) . On appelle complémentaire de \(A\) dans \(E\) le sous-ensemble de \(E\) noté \(C_E^A\) ou \(\bar{A}\), constitué des éléments de \(E\) qui n'appartiennent pas à \(A\) . Autrement dit,
\( C_E^A = \{ x \in E \mid x \notin A \} = E \backslash A\)