El complemento de un conjunto A es otro conjunto A
que contiene todos los elementos (dentro del universo U) que
no estn en A. El complemento del conjunto A con respecto al conjunto universal U es el conjunto de todos los elementos de U que no estn en A y se denota como 'A . El complemento o el conjunto complementario de un conjunto dado es otro conjunto que contiene todos los elementos que no estn en el conjunto original. Para poder definirlo es necesarar qu tipo de elementos se estn utilizando, o de otro modo, cul es el conjunto universal. Por ejemplo, si se habla de nmeros naturales, el complementario del conjunto de los nmeros primos P es el conjunto de los nmeros no primos C, que est formado por los nmeros compuestos y el 1: P = {2, 3, 5, 7, ...} C = {1, 4, 6, 8, 9,...} A su vez, el conjunto C es el complementario de P. El conjunto complementario de A es la diferencia (o complementario relativo) entre el conjunto universal y A, por lo que ambas operaciones (complementario y diferencia) tienen propiedades similares.
Referencias: Lipschutz, Seymour (1991). Teora de conjuntos y temas afines. McGraw-Hill.