Complementar

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