4.

1 COMPLEMENTO DE UN CONJUNTO
4.1.1 DEFINICIN
Dado el conjunto Universo, y un conjunto A, se llama
complemento de un conjunto A con respecto a un conjunto
referencial (universo), al conjunto formado por todos los
elementos del conjunto referencial pero que no pertenecen
al conjunto A.
4.1.2 NOTACIN
Se denota por: A,
Complemento de A.

, , ~A, A; que se lee:

4.1.3 EXPRESIN SIMBLICA

Simblicamente lo definimos:
A' = {x/x U y x A}
4.1.4 DIAGRAMA DE VENN-EULER

A'

Si el conjunto referencial es el conjunto B. con la condicin

A B, entonces, se define el complemento de A con
respecto al conjunto B, que se denota por: C B(A), al
conjunto formado por los elemento que solo pertenecen a B
y que no pertenecen a A.
Simblicamente:
CB(A) = { x / x B x A }

PROPIEDADES
1. INVOLUCIN
El complementario del complementario.
(A) = A

2. El complementario
conjunto vacio.
U =

del

conjunto

universal

es

el

El complementario del conjunto vacio es el conjunto

universal.
= U

3. La intercesin del conjunto A y su complementario es

el conjunto vacio.
(A A) =

La unin del conjunto A y su complementario es el

conjunto universal.
(A A) =U

4. LEYES DE MORGAN
El complementario de la unin de dos conjuntos es
igual a la interseccin de los complementarios de cada
uno de ellos.
(A B) = AB
El complementario de la interseccin de dos conjuntos
es igual a la unin de los complementarios de cada
uno de ellos.
(A B) = AB
5. Caso particular de la Absorcin.
A (A B) = AB
A (A B) = AB
6. (A B) = U (AB)
7. Cuando se tiene dos conjuntos disjuntos, cada uno de
ellos esta incluido en el complementario del otro, y
viceversa. Si un conjunto esta incluido en el
complementario del otro, ambos son disjuntos.

AB = A
AB = B
8. Dados dos conjuntos cuya unin es el conjunto
universal, el complementario de cada uno de ellos
estar incluido en el otro conjunto.

AB = U B
AB = U

9. A B = AB
10.
CB(A) B
CA(B) A
11.
Si un primer conjunto esta incluido en otro, el
complementario del segundo esta incluido en el
complementario del primero.
A B B A