Explicație pas cu pas:
Se numește complementara mulțimii A în raport cu mulțimea E ( A ⊂ E ), mulțimea:
[tex]C_{E}A = \{x \in E | x \not \in A \}[/tex]
Complementara este tot o diferență de mulțimi, deosebirea dintre cele două noțiuni fiind aceea că la complementară avem restricția: A ⊂ E, pe când la diferență nu există această restricție.
Complementara mulțimilor este un caz particular de diferență.
.
Legile lui De Morgan
[tex]C_{E}(A\cup B) = C_{E}A \cap C_{E}B[/tex]
complementara uniunii a două mulțimi este aceeași cu intersecția complementelor lor
și
[tex]C_{E}(A\cap B) = C_{E}A\cup C_{E}B[/tex]
complementul intersecției a două mulțimi este același cu unirea complementelor lor
