Matemticas Discretas

Oscar Bedoya
oscar.bedoya@correounivalle.edu.co
http://eisc.univalle.edu.co/~oscarbed/MD/
* Definicin de conjunto
* Subconjunto y subconjunto propio
* Conjunto potencia
* Producto cartesiano
* Operaciones con conjuntos
 Teora de Conjuntos

George Cantor
Defendi su tesis doctoral
en 1867 sobre teora de
nmeros
Demostr que los nmeros
reales son no enumerables
Es considerado el fundador
de la teora de conjuntos

(1845-1918)
 Teora de Conjuntos

Nocin de conjunto
Conjunto de vocales del alfabeto
A={a,e,i,o,u}
Conjunto de enteros positivos menores que 100
B={1,2,3,4,,99}
Conjunto de nmeros naturales
C={0,1,2,3,4,5,6,}
Conjunto de operadores aritmticos conmutativos
D={+,x}
 Teora de Conjuntos

Los conjuntos A y B son iguales?

A={a,e,i,o,u}
B={u,o,i,e,a}
 Teora de Conjuntos

Los conjuntos A y B son iguales?

A={a,e,i,o,u}
B={u,o,i,e,a}

Un conjunto es una coleccin

desordenada de objetos
 Teora de Conjuntos

Los conjuntos A y B son iguales?

A={a,a,a,a,e,e,e,e,e,i,o,u}
B={a,e,i,o,u}
 Teora de Conjuntos

Los conjuntos A y B son iguales?

A={a,a,a,a,e,e,e,e,e,i,o,u}
B={a,e,i,o,u}

Dos conjuntos son iguales si

tienen los mismos elementos sin
importar la cantidad
 Teora de Conjuntos

Conjunto vacio
Representa el conjunto que no tiene elementos, se puede
expresar de las dos siguientes maneras:
{}

 Teora de Conjuntos

Determine si los siguientes conjuntos son iguales:

{1,3,3,3,3,3,3,5,5,5,5} y {5,3,1}
{{1}} y {1}
{{1,1,1,1,1},1,1,1,1,1} y {1,{1}}
{ } y { , { }}
{ } y {{ }, }
{x|x es un entero positivo menor que 5} y {1,2,3,4}
 Teora de Conjuntos

Determine si los siguientes conjuntos son iguales:

{1,3,3,3,3,3,3,5,5,5,5} y {5,3,1}, si
{{1}} y {1}, no
{{1,1,1,1,1},1,1,1,1,1} y {1,{1}}, si
{ } y { , { }}, no
{ } y {{ }, }, si
{x|x es un entero positivo menor que 5} y {1,2,3,4}, si
 Teora de Conjuntos

Pertenencia sobre conjuntos

Dado un conjunto A, por ejemplo, A={w,x,y}, se utiliza la
notacin:
x A para indicar que el elemento x pertenece al
conjunto A
z A para el caso contrario
 Teora de Conjuntos

Sea A={1,2,3,4,5} responda falso o verdadero:

1 A
2 A
A
{1} A
{2,3} A
 Teora de Conjuntos

Sea A={1,2,3,4,5} responda falso o verdadero:

1 A, verdadero
2 A, falso
A, falso
{1} A, falso
{2,3} A, verdadero
 Teora de Conjuntos

Sea A={1,2,{3,4},5,{5,6}} responda falso o verdadero:

1 A
{3,4} A
A
5 A
{5} A
{3,4,5} A
 Teora de Conjuntos

Sea A={1,2,{3,4},5,{5,6}} responda falso o verdadero:

1 A, verdadero
{3,4} A, verdadero
A, falso
5 A, verdadero
{5} A, falso
{3,4,5} A, falso
 Teora de Conjuntos

Subconjunto
El conjunto A es subconjunto de B, A B, si y solo si todo
elemento de A es tambin un elemento de B
{1,2} {1,2,3,4,5}
{1,2,6} {1,2,3,4,5}
 Teora de Conjuntos

Subconjunto
Para cualquier conjunto S, se cumple que S
Para cualquier conjunto S, se cumple que S S
 Teora de Conjuntos

Sean A={1,2,3}, B={1,2,3,4,5,6}, C={1,6} indique si se

presentan las siguientes relaciones entre conjuntos:
A B
A C
B A
B C
C A
C B
 Teora de Conjuntos

Sean A={1,2,3}, B={1,2,3,4,5,6}, C={1,6} indique si se

presentan las siguientes relaciones entre conjuntos:
A B, si
A C, no
B A, no
B C, no
C A, no
C B, si
 Teora de Conjuntos

Sean P={1,2}, Q={1,2,3}, R={1,2,3}, indique si:

P R
Q R
 Teora de Conjuntos

Sean P={1,2}, Q={1,2,3}, R={1,2,3}, indique si:

P R
Q R
note que P R y Q=R
 Teora de Conjuntos

Subconjunto propio
El conjunto A es subconjunto propio de B, A B, si y solo
si, A B y A B
 Teora de Conjuntos

Subconjunto propio
El conjunto A es subconjunto propio de B, A B, si y solo
si, A B y A B

Sean P={1,2}, Q={1,2,3}, R={1,2,3}, se cumple:

P RyP R
Q R pero Q R
 Teora de Conjuntos

Sean A={1,2,3}, B={3,3,1}, C={3,2,1,1,1,2} indique si se

presentan las siguientes relaciones entre conjuntos:
A B
A C
B A
B C
C A
C B
 Teora de Conjuntos

Sean A={1,2,3}, B={3,3,1}, C={3,2,1,1,1,2} indique si se

presentan las siguientes relaciones entre conjuntos:
A B, no
A C, no
B A, si
B C, si
C A, no
C B, no
 Teora de Conjuntos

Determine si cada una de las siguientes expresiones es

falsa o verdadera:
x {x}
{x,y} {x}
{x} {x}
{x} {x}
{x} {{x}, y, z}
{x}
{x}
{x}
 Teora de Conjuntos

Determine si cada una de las siguientes expresiones es

falsa o verdadera:
x {x}, verdadero
{x,y} {x}, falso
{x} {x}, falso
{x} {x}, falso
{x} {{x}, y, z}, verdadero
{x}, verdadero
{x}, falso
{x}, verdadero
 Teora de Conjuntos

Determine si cada una de las siguientes expresiones es

falsa o verdadera:
0
{0}
{0}
{0}
{0} {0,{0,0}}
{0} {0}
{0} {0}
 Teora de Conjuntos

Determine si cada una de las siguientes expresiones es

falsa o verdadera:
0 , falso
{0}, falso
{0} , falso
{0}, verdadero
{0} {0,{0,0}}, verdadero
{0} {0}, falso
{0} {0}, verdadero
 Teora de Conjuntos

Cardinalidad de un conjunto |S|

La cardinalidad de un conjunto S, denotado por |S|,
indica la cantidad de elementos diferentes
 Teora de Conjuntos

Cardinalidad de un conjunto |S|

La cardinalidad de un conjunto S, denotado por |S|,
indica la cantidad de elementos diferentes
Para A={3,3,3,3,1,1,1,2,2,2}, |A|=?
Para A={1,2,3, {4,5}}, |A|=?
Para A= , |A|=?
 Teora de Conjuntos

Cardinalidad de un conjunto |S|

La cardinalidad de un conjunto S, denotado por |S|,
indica la cantidad de elementos diferentes
Para A={3,3,3,3,1,1,1,2,2,2}, |A|=3
Para A={1,2,3, {4,5}}, |A|=4
Para A= , |A|=0
 Teora de Conjuntos

Indique la cardinalidad de los siguientes conjuntos:

{x|x es un entero positivo impar menor que 10}
{a}
{{a,b}}
{a, {a}}
{a, a, {a,a}, {a,a,a}}
 Teora de Conjuntos

Indique la cardinalidad de los siguientes conjuntos:

{x|x es un entero positivo impar menor que 10}, 5
{a}, 1
{{a,b}}, 1
{a, {a}}, 2
{a, a, {a,a}, {a,a,a}}, 2
 Teora de Conjuntos

Indique la cardinalidad de los siguientes conjuntos:

{a, {a}, {a,{a}}}
{3, }
{ }
{ , , , { }}
 Teora de Conjuntos

Indique la cardinalidad de los siguientes conjuntos:

{a, {a}, {a,{a}}}, 3
{3, }, 2
{ }, 1
{ , , , { }}, 1
 Teora de Conjuntos

Conjunto potencia P(S)

Dado un conjunto S, el conjunto potencia es aquel que
tiene todos los subconjuntos de S
 Teora de Conjuntos

Conjunto potencia P(S)

Dado un conjunto S, el conjunto potencia es aquel que
tiene todos los subconjuntos de S
Dado A={1,2,3}
P(A)= ?
 Teora de Conjuntos

Conjunto potencia P(S)

Dado un conjunto S, el conjunto potencia es aquel que
tiene todos los subconjuntos de S
Dado A={1,2,3}
P(A)={ ,{1},{2},{3},{1,2},{1,3},{2,3},{1,2,3}}
 Teora de Conjuntos

Conjunto potencia P(S)

Dado un conjunto S, el conjunto potencia es aquel que
tiene todos los subconjuntos de S
En general, dado un conjunto A con n elementos, el
conjunto P(A) tiene 2n elementos
 Teora de Conjuntos

Sea S={1,{2,3},4}, muestre P(S)

 Teora de Conjuntos

Sea S={1,{2,3},4}, muestre P(S)

- P(S)={ , {1}, {{2,3}}, {4}, {1,{2,3}}, {1,4}, {{2,3},4}, {1,{2,3},4}}
 Teora de Conjuntos

Sea S= , muestre P(S)

 Teora de Conjuntos

Sea S= , muestre P(S)

- P(S)={ }
 Teora de Conjuntos

Encuentre los siguientes conjuntos potencia:

P( P( ) )
P( {{a,c},{a,b}} )
P( {1,2,3,4} )
 Teora de Conjuntos

Encuentre los siguientes conjuntos potencia:

P(P( ))
P( )={ }
P(P( ))=P({ })={ , { }}
P({{a,c},{a,b}})={ ,{a,c},{a,b},{{a,c},{a,b}}}
P({1,2,3,4})={ ,{1},{2},{3},{4},{1,2},{1,3},{1,4},{2,3},{2,4},
{3,4},{1,2,3},{1,2,4},{2,3,4},{1,3,4},{1,2,3,4}}
 Teora de Conjuntos

Producto cartesiano AxB

Dados dos conjuntos A y B, el producto cartesiano de A y
B, denotado por AxB es el conjunto de todos los pares
ordenados (a,b) donde a A y b B
AxB = {(a,b) | a A b B}
 Teora de Conjuntos

Producto cartesiano AxB

Dados dos conjuntos A y B, el producto cartesiano de A y
B, denotado por AxB es el conjunto de todos los pares
ordenados (a,b) donde a A y b B
AxB = {(a,b) | a A b B}
A={1,2,3}
B={a,b}
AxB=?
 Teora de Conjuntos

Producto cartesiano AxB

Dados dos conjuntos A y B, el producto cartesiano de A y
B, denotado por AxB es el conjunto de todos los pares
ordenados (a,b) donde a A y b B
AxB = {(a,b) | a A b B}
A={1,2,3}
B={a,b}
AxB={(1,a),(1,b),(2,a),(2,b),(3,a),(3,b)}
 Teora de Conjuntos

Producto cartesiano AxB

Dados dos conjuntos A y B, el producto cartesiano de A y
B, denotado por AxB es el conjunto de todos los pares
ordenados (a,b) donde a A y b B
AxB = {(a,b) | a A b B}
A={1,2,3}
B={a,b}
AxB={(1,a),(1,b),(2,a),(2,b),(3,a),(3,b)}
BxA=?
 Teora de Conjuntos

Producto cartesiano AxB

Dados dos conjuntos A y B, el producto cartesiano de A y
B, denotado por AxB es el conjunto de todos los pares
ordenados (a,b) donde a A y b B
AxB = {(a,b) | a A b B}
A={1,2,3}
B={a,b}
AxB={(1,a),(1,b),(2,a),(2,b),(3,a),(3,b)}
BxA={(a,1),(a,2),(a,3),(b,1),(b,2),(b,3)}
 Teora de Conjuntos

Producto cartesiano AxB

Dados dos conjuntos A y B, el producto cartesiano de A y
B, denotado por AxB es el conjunto de todos los pares
ordenados (a,b) donde a A y b B
AxB = {(a,b) | a A b B}
A={1,2,3}
|AxB|=|A| |B|
B={a,b}
AxB={(1,a),(1,b),(2,a),(2,b),(3,a),(3,b)}
BxA={(a,1),(a,2),(a,3),(b,1),(b,2),(b,3)}
 Teora de Conjuntos

Producto cartesiano AxB

Dados A={1,2} y B={ , , , }
AxB={(1, ),(1, ),(1, ),(1, ),(2, ),(2, ),(2, ),(2, )}
BxA={( ,1),( ,1),( ,1),( ,1),( ,2),( ,2),( ,2),( ,2)}
 Teora de Conjuntos

Ren Descartes
Estudi matemticas y leyes
A los 18 aos se desencant
de estudiar y se dedic a
recorrer el mundo
El servicio militar y cmo
decidi su futuro
Escribi el Discurso del
Mtodo (hiptesis del espritu
maligno*)
(1596-1650)
 Teora de Conjuntos

Ren Descartes
Motivacin de la duda
metdica (niez y los sueos)
Meditacin en la guerra de
1637
El alma como entidad libre
del mundo slido
La existencia de Dios
Las profesiones de un ser
humano (1596-1650)
 Teora de Conjuntos

Dados A={a,b}, B={x,y,z}, C={0,1} calcule:

AxB
AxA
BxC
 Teora de Conjuntos

Dados A={a,b}, B={x,y,z}, C={0,1} calcule:

AxB={(a,x),(a,y),(a,z),(b,x),(b,y),(b,z)}
AxA={(a,a),(a,b),(b,a),(b,b)}
BxC={(x,0),(x,1),(y,0),(y,1),(z,0),(z,1)}
 Teora de Conjuntos

Dados A={ }, B={x,y,z} calcule:

AxB
 Teora de Conjuntos

Dados A={ }, B={x,y,z} calcule:

AxB={ }
 Teora de Conjuntos

Determine si cada una de las siguientes sentencias es

falsa o verdadera
{ } P({ })
{ ,{ }} P(P({ }))
|{a,b,c}x{1,2}| < |P({a,b})|
 Teora de Conjuntos

Determine si cada una de las siguientes sentencias es

falsa o verdadera
{ } P({ })
{ } { , { }}, verdadero
{ ,{ }} P(P({ }))
{ ,{ }} { , { }, {{ }}, { ,{ }}}, verdadero
|{a,b,c}x{1,2}| < |P({a,b})|
6<4, falso
 Teora de Conjuntos

Operaciones entre conjuntos

Unin
Interseccin
Diferencia
Complemento
 Teora de Conjuntos

Operaciones entre conjuntos

Unin. A B={x|x A x B}
Interseccin. A B={x|x A x B}
Diferencia. A-B={x|x A x B}
Complemento. A={x|x A}
 Teora de Conjuntos

Operaciones entre conjuntos

Unin. A B={x|x A x B}
Interseccin. A B={x|x A x B}
Diferencia. A-B={x|x A x B}
Complemento. A={x|x A}

U={1,2,3,4,5,6,7,8,9}
A={1,2,3,5,9}
B={3,7,9}
 Teora de Conjuntos

Dados A={1,2,3,5,9}, B={3,7,9} y U={1,2,3,4,5,6,7,8,9}

indique los resultados de las siguientes operaciones:
A B
A B
A-B
B-A
A
A B B-A
A B B A
 Teora de Conjuntos

Dados A={1,2,3,5,9}, B={3,7,9} y U={1,2,3,4,5,6,7,8,9}

indique los resultados de las siguientes operaciones:
A B={1,2,3,5,7,9}
A B={3,9}
A-B={1,2,5}
B-A={7}
A = {4,6,7,8}
A B B-A = {4,6,8} {1,2,3,4,5,6,8,9}={4,6,8}
A B B A = {1,2,5} {7}={1,2,5,7}
 Teora de Conjuntos

Dados A={a,b,c,d,e}, B={a,b,c,d,e,f,g,h} y U={a,b,c,d,e,f,g,h,i,j,k}

encuentre:
A B
B-A (A-B)
(A-B) - (A B)
(B A) (B-A)
 Teora de Conjuntos

Dados A={a,b,c,d,e}, B={a,b,c,d,e,f,g,h} y U={a,b,c,d,e,f,g,h,i,j,k}

encuentre:
A B={f,g,h,i,j,k}
B-A (A-B)={a,b,c,d,e,i,j,k} ={a,b,c,d,e,i,j,k}
(A-B) - (A B)={a,b,c,d,e,f,g,h,i,j,k}-{a,b,c,d,e,f,g,h}={i,j,k}
(B A) (B-A)={i,j,k}
 Teora de Conjuntos

Dados A={1,3,5,7,8,9}, B={2,4,5,6} y U={1,2,3,4,5,6,7,8,9,10}

encuentre:
A-B A
(B A) (A B)
(A B) (B-A)
 Teora de Conjuntos

Dados A={1,3,5,7,8,9}, B={2,4,5,6} y U={1,2,3,4,5,6,7,8,9,10}

encuentre:
A-B A = {2,4,5,6,10} {2,4,6,10} = {2,4,6,10}
(B A) (A B) = {5} {10} = {5,10}
(A B) (B-A) = {1,2,3,4,6,7,8,9,10} {2,4,6} = {2,4,6}
 Teora de Conjuntos

Dados A={a,b,c}, B={b,d}, U={a,b,c,d,e,f} encuentre y

compare:
A B,A B
A B,A B
 Teora de Conjuntos

Dados A={a,b,c}, B={b,d}, U={a,b,c,d,e,f} encuentre y

compare:
A B , A B. Ambos son {e,f}
A B , A B. Ambos son {a,c,d,e,f}
 Teora de Conjuntos

Identidades entre conjuntos

Identidad Nombre
(A B) = A B Leyes de De Morgan
(A B) = A B
A (A B) = A Leyes de absorcin
A (A B) = A
A A=? Leyes de complemento
A A=?
 Teora de Conjuntos

Identidades entre conjuntos

Identidad Nombre
(A B) = A B Leyes de De Morgan
(A B) = A B
A (A B) = A Leyes de absorcin
A (A B) = A
A A=U Leyes de complemento
A A=
 Teora de Conjuntos

Identidades entre conjuntos

Identidad Nombre
A =? Leyes de
A U=? identidad
A U=U Leyes de
A = dominacin
A A=A Leyes de
A A=A idempotencia
Ley de
A=A complementacin
 Teora de Conjuntos

Identidades entre conjuntos

Identidad Nombre
A =A Leyes de
A U=A identidad
A U=U Leyes de
A = dominacin
A A=A Leyes de
A A=A idempotencia
Ley de
A=A complementacin
 Teora de Conjuntos

Identidades entre conjuntos

Identidad Nombre
A B =B A Leyes
A B =B A conmutativas
A (B C) = (A B) C Leyes
A (B C) = (A B) C asociativas
A (B C) = (A B) (A C) Leyes
A (B C) = (A B) (A C) distributivas
 Teora de Conjuntos

Cmo probar identidades

Se tienen dos mtodos:
Construir una tabla de pertenencia
Utilizar la notacin de conjuntos y las equivalencias lgicas
 Teora de Conjuntos

Tabla de pertenencia
Se considera cada combinacin de conjuntos en los que un
elemento puede pertenecer y se verifica que los elementos en
la misma combinacin de conjuntos pertenecen a ambos
conjuntos en la identidad
 Teora de Conjuntos

Probar A B=A B

A B A B A B A B A B
1 1
1 0
0 1
0 0
 Teora de Conjuntos

Probar A B=A B

A B A B A B A B A B
1 1
1 0
0 1
0 0

1 representa x Conjunto
0 representa x Conjunto
 Teora de Conjuntos

Probar A B=A B

A B A B A B A B A B
1 1 0 0 1 0 0
1 0 0 1 0 1 1
0 1 1 0 0 1 1
0 0 1 1 0 1 1
 Teora de Conjuntos

Probar A B=A B

A B A B A B A B A B
1 1 0 0 1 0 0
1 0 0 1 0 1 1
0 1 1 0 0 1 1
0 0 1 1 0 1 1
 Teora de Conjuntos

Probar A (A B) = A (A B)
 Teora de Conjuntos

Probar A (A B) = A (A B)

A B A B A B A (A B) A (A B) A B A (A B)
1 1 0 0 0 1 0 1 0
1 0 0 1 0 1 0 1 0
0 1 1 0 1 1 0 0 0
0 0 1 1 0 0 1 1 1
 Teora de Conjuntos

Probar A (B C) = A (B C)
 Teora de Conjuntos

Probar A (B C) = A (B C)

A B C A B C B C A (B C) A (B C) A (B C)
1 1 0 0 0 1 0 1 0
1 1 1 0 1 0 0 1 0
1 0 0 0 0 1 0 1 0
1 0 1 0 0 1 0 1 0
0 1 0 1 0 1 1 0 1
0 1 1 1 1 0 0 1 0
0 0 0 1 0 1 1 0 1
0 0 1 1 0 1 1 0 1
 Teora de Conjuntos

Complete la tabla para (A B)

A B A-B
1 1 ?
1 0 ?
0 1 ?
0 0 ?
 Teora de Conjuntos

Complete la tabla para (A B)

A B A-B
1 1 0
1 0
0 1
0 0

El mismo elemento est en A y en B.

Por lo tanto, no estar en A-B
 Teora de Conjuntos

Complete la tabla para (A B)

A B A-B
1 1 0
1 0 1
0 1 0
0 0 0
 Teora de Conjuntos

Probar A (B - A) =
 Teora de Conjuntos

Probar A (B - A) =

A B B-A A (B-A)
1 1 0 0
1 0 0 0
0 1 1 0
0 0 0 0
 Teora de Conjuntos

Probar A (B - A) = A B
 Teora de Conjuntos

Probar A (B - A) = A B

A B B-A A (B-A) A B
1 1 0 1 1
1 0 0 1 1
0 1 1 1 1
0 0 0 0 0
 Teora de Conjuntos

Cmo probar identidades

Se tienen dos mtodos:
Construir una tabla de pertenencia
Utilizar la notacin de conjuntos y las equivalencias lgicas
 Teora de Conjuntos

A B={x|x A x B}
A B={x|x A x B}
A-B={x|x A x B}
A={x|x A}
 Teora de Conjuntos

Probar A B=A B
A B=?
 Teora de Conjuntos

Probar A B=A B
A B={x|x A B}
 Teora de Conjuntos

Probar A B=A B
A B={x|x A B}
A B={x| (x A B) }
A B={x| (x A x B) }
A B={x| ( x A) (x B) }
A B = { x | (x A) (x B) }
A B = { x | (x A) (x B)}
A B=A B
 Teora de Conjuntos

Probar A (B C) = A (B C)
A (B C) = ?
 Teora de Conjuntos

Probar A (B C) = A (B C)
A (B C) = { x | x (A (B C)) }
A (B C) = { x | (x (A (B C)) }
A (B C) = { x | [(x A) (x (B C))] }
A (B C) = { x | (x A) (x (B C)) }
A (B C) = { x | (x A) (x (B C)) }
A (B C) = { x | (x A) (x (B C) }
A (B C) = A (B C)
 Teora de Conjuntos

Probar A (B - A) =
A (B - A) = ?
 Teora de Conjuntos

Probar A (B - A) =
A (B - A) = { x | x (A (B A)) }
A (B - A) = { x | (x A) [x (B A)] }
A (B - A) = { x | (x A) (x B x A) }
A (B - A) = { x | (x A) (x B) (x A) }
A (B - A) = { x | ((x A) (x A)) (x B) }
A (B - A) = { x | (x ) (x B) }
A (B - A) = { x | (x )}
A (B - A) =
 Teora de Conjuntos

Probar A (B - A) = A B
A (B - A) = ?
 Teora de Conjuntos

Probar A (B - A) = A B
A (B - A) = { x | x (A (B A)) }
A (B - A) = { x | (x A) (x (B A)) }
A (B - A) = { x | (x A) [(x B) (x A)] }
A (B - A) = { x | [(x A) (x B)] [(x A) (x A)] }
A (B - A) = { x | [(x A) (x B)] (x U) }
A (B - A) = { x | (x A) (x B)}
A (B - A) = A B
 Teora de Conjuntos

Probar A (B - A) = A B
A (B - A) = ?
 Teora de Conjuntos

Probar A (B - A) = A B
A (B - A) = { x | x A (B A)) }
A (B - A) = { x | x A x (B A)) }
A (B - A) = { x | x A x (B A)) }
A (B - A) = { x | x A (x B x A)) }
A (B - A) = { x | x A [ (x B) x A] }
A (B - A) = { x | x A [ (x B) ( x A)] }
A (B - A) = { x | x A [ (x B) x A] }
A (B - A) = { x | [x A (x B)] [x A x A] }
A (B - A) = { x | [x A (x B)] }
 Teora de Conjuntos

Probar A (B - A) = A B
A (B - A) = { x | [x A (x B)] }
A (B - A) = { x | x A (x B) }
A (B - A) = { x | x A x B}=A B