[[Archivo:PolygonsSetComplement.svg|thumb|El complemento de un conjunto {{math|''A''}} es otro conjunto {{math|''A''<sup>{{unicode|∁}}</sup>}} que contiene todos los elementos (dentro del universo {{math|''U''}}) que no están en {{math|''A''}}.]]
El '''complemento de un conjunto''' o '''conjunto complementario''' es otro conjunto que contiene todos los elementos que no están en el conjunto original. Para poderpoderieeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeesakijoidjijjeqoeqheehqoheoiejeqoijoijeoihqojdjqdndaddwqhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhuwiuheqkjslaaaaaaaaaaaaaaaallKJAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAASBSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSBSBBBSBSBSBBSBSBBSBSBBSBSB<ref>Rejslkdjwhai</ref>nto definirlocomplementario esse necesariodenota especificarpor quéuna tipobarra de elementos se están utilizando,horizontal o de otro modo, cuál espor el [[conjunto universalsuperíndice]].Por ejemplo«{{math|{{unicode|∁}}}}», sipor selo hablaque dese [[números naturales]], el complementario del conjunto de los [[números primos]]tiene: {{math|1='''P'''<sup>{{unicode|∁}}</sup> es= el''C''}}, conjunto de los números noy primostambién {{math|1={{sobrerrayado|''C''}},que= está formado por los [[números compuestos]] y el [[uno|1]]:'''P'''}}.
A su vez, el conjunto {{math|''C''}} es el complementario de {{math|'''P'''}}. El conjunto complementario se denota por una barra horizontal o por el [[superíndice]] «{{math|{{unicode|∁}}}}», por lo que se tiene: {{math|1='''P'''<sup>{{unicode|∁}}</sup> = ''C''}}, y también {{math|1={{sobrerrayado|''C''}} = '''P'''}}.
El conjunto complementario de {{math|''A''}} es la [[conjunto diferencia|diferencia]] (o '''complementario relativo''') entre el conjunto universal y {{math|''A''}}, por lo que ambas operaciones (complementario y diferencia) tienen propiedades similares.