complementar

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