Complementar

O complementar de A em U

$A^c~~~=~~~U \setminus A$

Em teoria dos conjuntos, o complementar de um subconjunto $A\,$ de um conjunto $U\,$ é o conjunto $A^{c}\,$ dos elementos de $U\,$ que não pertencem a $A\,$.

Propriedades

• $\emptyset^c=U$
• $U^c=\emptyset$
• $A\cup A^c=U$
• $A\cap A^c=\emptyset$
• $(A\cap B)^c=A^c\cup B^c$
• $(A\cup B)^c=A^c\cap B^c$
• $(A^c)^c=A\,\!$