<div class="definition">
 Si  \(E),  \(F) et  \(G) sont deux
sous-ensembles de \( W), on a

 <center>\(\special{color=green}E\cup (F\cap G)= (E\cup G)\cap (E\cup G))
<br>
  \(\special{color=green}E\cap (F\cup G)= (E\cap
G)\cup (E\cap G))
</center>
</div> 
