Complementar

Origem: Wikipédia, a enciclopédia livre.
Ir para: navegação, pesquisa
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[editar | editar código-fonte]

  • \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\,\!