<div class="definition">
Si  \(E) est un sous-ensemble de
 \(F), le <span class="defn">complmentaire</span> de  E dans  F est l'ensemble des lments
de  \(F) qui n'appartiennent pas   \(E). Il est not  <sup>c </sup>\(E) ou \(\bar{E}) ou 
\(F - E).
</div>