Na teoría de conxuntos, o complementario ou complemento dun conxunto A, denotado usualamente por (ou A′),[1] é o conxunto de elementos que non están en A.[2]
Cando todos os elementos do universo, é dicir, todos os elementos en consideración, considéranse membros dun conxunto dado U, o complemento absoluto de A é o conxunto de elementos en U que non están en A.
O complemento relativo de A en relación a un conxunto B, tamén denominado diferenza de conxuntos de B e A, escrito é o conxunto de elementos en B que non están en A.