Complementar

Em teoria dos conjuntos, o complementar de um subconjunto A {\displaystyle A\,} se refere a elementos que não estão no conjunto A {\displaystyle A\,} . Normalmente, o complementar se trata de maneira relativa à um conjunto universo U {\displaystyle U\,} , sendo o conjunto A c {\displaystyle A^{c}\,} o complementar de A {\displaystyle A\,} formado pelos elementos de U {\displaystyle U\,} que não pertencem a A {\displaystyle A\,} . De maneira mais geral, define-se o complementar de A {\displaystyle A\,} em relação a B {\displaystyle B\,} , também chamado de diferença de conjuntos, como o conjunto dos elementos de B {\displaystyle B\,} que não estão em A {\displaystyle A\,} .