Complemento de un conjunto

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 .