Complemento de un conjunto

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 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 necesario especificar 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 se denota por una barra vertical o por el superndice "", por lo que se tiene: P = C, y tambin C = 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. Definicin

Complementario de un conjunto A. Dado un conjunto A, su complementario es el conjunto A formado por los elementos que no pertenecen a A: El complementario de A es otro conjunto A cuyos elementos son todos aquellos que no estn en A:

Esta definicin presupone que se ha especificado un conjunto universal U, pues de otro modo, en la afirmacin "todos los x que no est en A", la palabra "todos" es ambigua. Si se menciona explcitamente el conjunto universal U, entonces el complementario de A es el conjunto de todos los elementos de U que no estn en A, por lo que la relacin con la diferencia es clara:

Por otro lado, considerando un conjunto universal, la diferencia entre dos conjuntos puede expresarse utilizando la nocin de complementariedad:

Ejemplo.

El complementario del conjunto de todos los hombres es el conjunto de todas las mujeres (hablando de personas). Hablando de nmeros naturales, el complementario del conjunto {1, 5, 6, 7, 8, 10} es el conjunto {2, 3, 4, 9, 11, 12, ...}.

El complementario del conjunto A en la imagen es la zona sombreada de azul (el conjunto universal U es toda el rea del rectngulo).

Este es un conjumto Que se unen asi de este los dos

Propiedades
Puesto que el conjunto universal contiene todos los elementos en consideracin, y el conjunto vaco no contiene a ninguno, se tiene lo siguiente:

Puesto que la nocin de complementariedad est relacionada con la negacin en lgica, la primera posee propiedades similares a la segunda:

Propiedad involutiva. El complementario del complementario de A es el propio A: (A) = A

La unin de un conjunto y su complementario es el conjunto universal: A A = U

Un conjunto y su complementario son disjuntos: A A =

El complementario de A est contenido en el complementario de cualquier subconjunto de A: B A implica que A B

Existen tambin unas relaciones entre las operaciones de unin e interseccin a travs del complemento: Leyes de De Morgan

El complementario de la unin de dos conjuntos es la interseccin de los complementarios: (A B) = A B

El complementario de la interseccin de dos conjuntos es la unin de los complementarios: (A B) = A B