CONJUNTOS

Inclusión
Dados los conjuntos A y B pertenecientes al conjunto universo
U, decimos que A está incluido en B, A es subconjunto de B, o
que A está contenido en B si todos los elementos de A son
también elementos de B. Se denota A  B, simbólicamente:
x  U ,  x  A → x  B 
U
B A
Propiedad
El vacío está incluido en cualquier conjunto, es decir:
A  U ,   A
Igualdad
Dos conjuntos A y B del universo U son iguales si A está
incluido en B y B está incluido en A. Se denota A = B,
simbólicamente:
x  U ,  x  A  x  B 
 Operaciones entre conjuntos
Dados los conjuntos A y B, y el universo U:
Unión de conjuntos
La unión de los conjuntos A y B es el conjunto de elementos del
universo que pertenecen a A o a B, es decir:

A  B =  x  U : x  A  x  B

A B
Intersección de conjuntos
La intersección de los conjuntos A y B es el conjunto de
elementos del universo que pertenecen a A y a B, es decir:
A  B =  x  U : x  A  x  B
U
A B

Definición: Dos conjuntos A y B son disjuntos cuando no tienen

elementos comunes, es decir A  B = 
Complemento de un conjunto
El complemento de un conjunto A es el conjunto formado por los
elementos del universo que no pertenecen a A, es decir:

AC =  x  U : x  A
U
A

Leyes de Morgan
Dados los conjuntos A y B pertenecientes al universo U:
a) ( A  B ) = A  B b) ( A  B ) = AC  B C
C C C C
Diferencia de conjuntos
La diferencia de los conjuntos A y B es el conjunto
formado por los elementos del universo que pertenecen a
A pero no pertenecen a B, es decir:
A − B =  x  U : x  A  x  B
U
A B

De las definiciones anteriores podemos concluir que

AC = U − A
Diferencia Simétrica de conjuntos
La diferencia simétrica de los conjuntos A y B es el conjunto formado
por los elementos del universo que pertenecen a A o a B pero no a A
y B, es decir:
AB = ( A  B ) − ( A  B ) o AB = ( A − B )  ( B − A )
U
A B
Propiedades
1. A   = A
2. A  U = U
3. A   = 
4. A  U = A
5. ( A
C C
) =A
6. A − B = A  B C
7. A  ( B  C ) = ( A  B )  ( A  C )
8. A  ( B  C ) = ( A  B )  ( A  C )
Conjuntos finitos
Un conjunto finito es aquel en el que se pueden contar sus
elementos, en caso contrario el conjunto será infinito.
Cardinal de un conjunto
Se llama así al número de elementos de un conjunto. El
número de elementos del conjunto A se denota n(A).
Observación:
A B

12 (12 )

A = 12 n ( B ) = 12
Propiedad
Si A y B son dos conjuntos disjuntos finitos se cumple que:
n ( A  B ) = n ( A) + n ( B )
Teoremas
Si A y B son dos conjuntos finitos se cumple que:
1. n ( A ) = n ( A − B ) + n ( A  B )
2. n ( A  B ) = n ( A ) + n ( B ) − n ( A  B )
3. A  B → n ( A )  n ( B )