1.

10 OPERACIONES ENTRE CONJUNTOS DE UN MISMO UNIVERSO

Partiendo del axioma de especificacin, seguidamente sern construidos nuevos conjuntos
llamados unin, interseccin, complemento, diferencia y diferencia simtrica; esto significa
que a cada par de conjuntos A y B de un mismo universo, se le hace corresponder otro
conjunto del mismo universo.
Unin: Sean A y B dos conjuntos construidos de un mismo universo , si sobre los
elementos de se aplica la funcin proposicional A B, entonces se obtiene un
nuevo conjunto llamado unin de A y B.
Lo anterior significa que la unin de A y B es otro conjunto formado por todos los
elementos que pertenecen a A o a B o a ambos.

PROPIEDADES DE LA UNION
1: La unin de conjuntos es conmutativa, esto es, B para cualesquiera A y
B.
2: A y B son subconjuntos de B, esto es,
3: Idempotencia, si A es un conjunto cualquiera, entonces A .
4: Identidad, si A es un conjunto cualquiera, y U U
5: Asociatividad: Si A, B y C son conjuntos cualesquiera, entonces (B C) (A
) Observacin: Toadas las propiedades anteriores pueden ser demostradas
relativamente fcil, el estudiante puede intentarlo a manera de ejercicio.
INTERSECCIN: Sean A y B dos conjuntos construidos de un mismo universo , si
sobre los elementos de se aplica la funcin proposicional A B, entonces se
obtiene un nuevo conjunto llamado interseccin de A y B. Lo anterior significa que la
interseccin de A y B es otro conjunto formado por los elementos que estn en A y en B.

PROPIEDADES DE LA INTERSECCION
1: Idempotencia, si A es un conjunto cualquiera, entonces se cumple que A A
2: Identidad, si A es un conjunto cualquiera, entonces se cumple que y
UA
3: Conmutatividad, si A y B son conjuntos cualesquiera, entonces se cumple que B
BA
4: Asociatividad, si A, B y C son conjuntos cualesquiera, entonces (B C) (A
B) C
5: Distributividad, si A, B y C son conjuntos cualesquiera, entonces se cumple que.
a) C C b) C
A C
Complemento: Sea A un conjunto construido en un mismo universo , si sobre los
elementos de se aplica la funcin proposicional A, entonces se obtiene un nuevo
conjunto llamado complemento de A con respecto a U.
Lo anterior significa que el complemento de un conjunto A es otro conjunto formado por
los elementos que estn en U y no estn en A.

PROPIEDADES DEL COMPLEMENTO

1: Si A es un conjunto cualquiera, entonces se cumple que A

2: Para todo conjunto A, se cumple que A U y

3: Leyes de Morgan: Para cualesquiera conjuntos A y B referido a un universo U, se

cumple lo siguiente: a) b)
Diferencia: Sean A y B dos conjuntos construidos de un mismo universo , si sobre los
elementos de se aplica la funcin proposicional A B, entonces se obtiene un
nuevo conjunto llamado diferencia entre A y B. Lo anterior significa que la diferencia entre
los conjuntos A y B es otro conjunto formado por los elementos que estn en A y no estn
en B.
PROPIEDADES DE LA DIFERENCIA
1: Si A y B son conjuntos cualesquiera, entonces
2: Para todo conjunto A, se cumple que
3: Para todo conjunto A referido a un universo U, se cumple que U A

Diferencia Simtrica: Sean A y B dos conjuntos construidos de un mismo universo ,

si sobre los elementos de se aplica la funcin proposicional (A B) (A
B), entonces se obtiene un nuevo conjunto llamado diferencia simtrica entre A y B.
PROPIEDADES DE LA DIFERENCIA SIMTRICA
1: Conmutatividad, si A y B son conjuntos cualesquiera, entonces se cumple que
BA
2: Para A y B conjuntos cualesquiera, entonces se cumple que (A-B) (B A)
3: Para A y B conjuntos cualesquiera, entonces se cumple que (A B) (
)
4: Para todo conjunto A, se cumple que