<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>
