Em teoria dos conjuntos, o complementar de um subconjunto de um conjunto  é o conjunto dos elementos de que não pertencem a .