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 poder definirlo es necesario especificar qué tipo de elementos se están utilizando, o de otro modo, cuál es el
conjunto universal. Por ejemplo, si se habla de
números naturales, el complementario del conjunto de los
números primos es el conjunto de los números no primos , que está formado por los
números compuestos y el
1:
A su vez, el conjunto es el complementario de . El conjunto complementario se denota por una barra horizontal o por el
superíndice «», por lo que se tiene: , y también .