1

INTRODUCCIN

Aunque siempre hemos estado rodeados de conjuntos, e incluso formamos parte de

diversos conjuntos, la nocin de conjunto tard en aparecer, seguramente debido al nivel de
abstraccin que requiere este concepto, semejante al de los nmeros; por ejemplo, la
cinquidad fue captada bastante tiempo despus de la utilizacin del cinco ligado a cinco
cosas.
A pesar de su tarda puesta en escena, la teora de conjuntos es tan valiosa que ha
afectado significativamente la estructura y el lenguaje de las matemticas modernas.
Sin miedo a exagerar, puede afirmarse que todas las ramas de la matemtica utilizan
conjuntos. Por ejemplo, en aritmtica se trabaja con los conjuntos de nmeros y las
operaciones efectuadas con ellos; la geometra estudia los conjuntos de puntos que definen
diversas figuras y sus propiedades; el muestreo analiza las caractersticas de subconjuntos
de una poblacin, etctera.
Se puede atribuir el nacimiento de las ideas conjuntistas a los trabajos de los
matemticos alemanes Richard Dedekind (1831-1916) y Georg Cantor (1845-1918).

MATEMTICA BSICA

1. IDEA DE CONJUNTO
Podemos entender por conjunto a la agrupacin, asociacin, coleccin, reunin, unin
de integrantes homogneos y heterogneos, los cuales pueden ser naturaleza real o
imaginaria. En conclusin pueden estar integrados por letras, nmeros, meses de un
ao, astros, pases mares etc., a los integrantes en general se les llama elementos del
conjunto.
Ejemplos:

Conjunto formado por los libros de un estante.

Conjunto formado por los juguetes de un nio.
Conjunto formado por los pases del frica.
Conjunto formado por los elementos qumicos.

Sin embargo, el concepto que tenemos es un "concepto intuitivo", el cual pues no es

correcto pues tambin existe conjuntos formados por un solo elemento y conjuntos
formados sin elementos lo cual contradice la idea que tenamos.
Ejemplos:
a) El conjunto constituido por los animales que maman.
b) El conjunto de ciudades de la sierra peruana.
c) El conjunto de los nmeros naturales menores que 6 y mayores que 5.5
d) El conjunto de personas mayores de 500 aos de edad.
2. DEFINICIN TENTATIVA DE CONJUNTO
Entonces podramos definir como "la presencia o ausencia de elementos con
caractersticas semejantes dentro de un contexto real o imaginario".

2.1. NOTACIONES
SMBOLOS BSICOS PRIMITIVOS O INDEFINIDOS Y SMBOLOS DE
PUNTUACION
Los smbolos primitivos para armar expresiones matemticas y
consecuentemente una red matemtica son los del modelo o teora de conjuntos
cuyos entes, conectivos y puntuacin se pueden presentar como:

MATEMTICA BSICA

- SMBOLOS BSICOS CONECTIVOS

Los conectivos, que son los smbolos que representan a las interrelaciones
entre los elementos del sistema. Ejemplos de conectivos son:
1.- Ser o Pertenecer [ ] que es el que establece la relacin pertenencia de un
elemento a un conjunto.
2.- Negacin [ / ] que es el que establece la relacin de negacin de la pertenencia
de un elemento a un conjunto.
3.- Simultaneidad [ ] que es el que establece la relacin doble de pertenencia de
un elemento a dos conjuntos.
4.- Para Todo [ ] que es el que establece la relacin de inclusin de
conjuntos. Tambin es equivalente a la definicin de existencia de un elemento de
un conjunto. O sea que el conjunto es no vaco.
Cada uno de ellos va acompaado por un axioma o regla de armado, que indica
como se emplea el smbolo en las expresiones compuestas, incluyendo los smbolos
de puntuacin pertinentes. Son las reglas de la gramtica del lenguaje.

- SMBOLOS DE PUNTUACIN
Los smbolos de puntuacin que son el tercer tipo de smbolos de un Lenguaje
cuyo objeto es propio del mismo lenguaje para la construccin expresiones de forma
de cadenas, rboles o estructuras ms complejas de smbolos como por ejemplo
redes. Los smbolos de puntuacin y su empleo ms comn en la teora de conjuntos
y en matemtica en general son los siguientes:
Smbolos de puntuacin := { . , ; : .. ... ( ) [ ] {} :=

S
mb
olo
.
,
;

Empleo usual
Fin de expresin
Separador de elementos o partes de
expresin

Tal que

..

Desde hasta

...

Desde hasta

MATEMTICA BSICA

(
)[]
{}

Secuencia de lectura (u operacin)

:
=

Asignacin

Secuencia dentro de un rbol

Entre otras funciones se emplean en:

1.- Asignaciones de smbolos nuevos (definiciones)

2.- Separar cadenas
3.- Fijar ordenar de secuencias en las cadenas. Por
ejemplo los parntesis
4.- Dar las bifurcaciones en un rbol. Por ejemplo
las flechas

MATEMTICA BSICA

- SMBOLO BSICO CONECTIVO: SER O PERTENECER A UN CONJUNTO

Se introduce el conectivo con la expresin (relacin de smbolos)

Smbolo bsico ser o pertenecer : Reglas de uso: Se representa un Elemento x
que pertenece a un Conjunto A.

x A
x : Elemento del Conjunto

: Conectivo de
Pertenencia o Ser A :
Conjunto

Obs 1: Ntese que los objetos que se conectan con el conectivo ser [ ] Son el
elemento y el Conjunto. Esto significa que estos conceptos se crean
simultneamente.

Una segunda forma de representar la pertenencia (sinnimo) es por la

expresin:
A := {x, y, z,...} donde se presentan explcitamente los elementos del conjunto.
Obs 2: La notacinA := { x1 x2 ... xn } no es general, solo vale para conjuntos
numerables.
Obs 3: Otra notacinA := { x: Prop(x) } puede emplearse solamente despus de
haber definido. Proposicinen Lgica ms adelante.

- PORQU CONJUNTO

La importancia de conjunto estdada por la simplicidad (facilidad, claridad,

comodidad) con que a partir de l se puede estructurar una red de smbolos bsicos
con los principales conceptos de la matemtica, cuya lista obvia otro comentario:

1.- Par Ordenado

2.- Producto Cartesiano
3.- Relacin
4.- Funcin
5.- Relacin de Equivalencia
6.- Relacin de Orden
7.- Numero Natural
8.- Numero Entero
9.- Numero Fraccionario
10.- Estructura Lineal (Vectorial)
11.- Estructura Mtrica
12.- Numero Complejo Etc.

.- SMBOLO BSICO NEGACIN

.- EXPRESIN DE NEGACIN DE PERTENENCIA A UN CONJUNTO

Se introduce el smbolo de negacin [ / ] con la expresin (relacin de smbolos)

Smbolo bsico negacin (not): Reglas de uso

Se representa un Elemento x que no pertenece a un Conjunto A.

x / A

: Ax.- // :=

x // A := x A

/ : Smbolo de Negacin
Ax : Axioma de la doble negacin o tercero excluido

.- SINNIMO

Se define por comodidad un smbolo de no pertenencia:

Def.

a A :=

a/ A

: Smbolo de NO pertenencia o NO ser

.- SMBOLO BSICO SIMULTANEIDAD (Y)

.- EXPRESIN DE SIMULTANEIDAD DE PERTENENCIA A UN CONJUNTO

Se introduce el smbolo de simultaneidad [ ^ ] con la expresin (relacin de

smbolos)

Smbolo bsico simultaneidad (and) : Reglas de uso

Se representa un Elemento x que pertenece simultneamente a un Conjunto A y a un

Conjunto B.

(x A) ( x B)

(x A) ( x B) := (x B) ( x A)

: Ax .

: Smbolo de Pertenencia Simultnea

Ax : Axioma de la conmutatividad de la simultaneidad

2.4.2.- SINNIMO

Def.:

:= (x A) ( x B)

.- DEFINICIN DE CONJUNTO
INTERSECCIN
Def.: AB := { x: (x A) ( x B) }

: Smbolo de la Interseccin de
Conjuntos A B : Conjunto
Interseccin

.- DEFINICIN DE CONJUNTO COMPLEMENTARIO DE A SOBRE B

Def:

C(A,B) := { x: (x / A) ( x B) }

C(A,B) : Conjunto Complementario de A sobre B

10

2.3.- SMBOLO BSICO PARA TODO

.- EXPRESIN DE PARA TODO ELEMENTO DE UN CONJUNTO. INCLUSIN

Se introduce el smbolo de Para todo elemento de un conjunto [ ] con la expresin

(relacin de smbolos)
Smbolo bsico para todo elemento de un conjunto (all) : Reglas de uso
El smbolo [ ] se emplea para representar el hecho, que Para Todo Elemento x que
pertenezca al Conjunto A tambin pertenece al Conjunto B.

(x A) : ( x B)

: Smbolo de Para Todo

El uso del smbolo Para Todo no es nada ms ni nada menos que el concepto de
Inclusin. As que se considera equivalente (sinnimo) al uso del smbolo de Inclusin

11

AB := (x A) : ( x B)

: Smbolo de inclusin

AB : El Conjunto A est incluido en el Conjunto B.

12

.- DEFINICIN DE: EXISTE UN ELEMENTO DEL CONJUNTO

Un tercer sinnimo del uso del smbolo Para Todo es el smbolo existe [] , que se
introduce por comodidad,
para negar el Para todo:
(x A) : ( x B
:= / (x A) : ( x

Def.: )

B)

: Smbolo de Existencia

(x A) : ( x B )

Tambin se usa el smbolo de no existencia

Def.:

: A1

[/ ] (x A)

:= / (x A)

// :=

[/ ] : Smbolo de No Existencia

Obs.: Como se ver el smbolo de existencia es de equivalente al concepto de no

inclusin.

13

.- SINNIMO: NO INCLUSIN

La negacin de la no inclusin es:

Def.: A

B := A / B

B : A no est incluido en B

El significado de la no inclusin significa que

AB := / (x A) : ( x B)

O sea

AB := (x A) : ( x B )

Donde se observa que el smbolo existe [] , es cmodo para definir la no inclusin,

al negar el Para todo.

14

.- DEFINICIN DE PROPIEDAD DE CONJUNTO VACO Y DEFINICIN DE

CONJUNTO VACIO
2.3.- DEFINICIN DE PROPIEDAD DE CONJUNTO VACO

Una cuarta forma de representar la inclusin, o sea un cuarto sinnimo del uso
del Para todo es el smbolo de Vaco [ ], que es un concepto relativo a otro conjunto
que se denomina Universo.

Def.: C(B, A)

:= A B

C(B, A)

: Propiedad de ser Conjunto vaco

B : Conjunto Universo

El concepto de tener la Propiedad de Conjunto vaco es relativo al Universo

que se tome de referencia. O sea que un conjunto C(B,A ) tiene la propiedad de
vaco con respecto a un Universo B s

AB := (x A) : ( x B) =: / (x A) : ( x B ) =: C(B, A)

15

.- SINNIMO: DEFINICIN DE CONJUNTO VACO

Por extensin se puede definir como Conjunto vaco a aquel conjunto que no tiene
elementos, todo esto siempre relativo a otro conjunto dado: el Universo considerado B.

Def.:

:= C(B,A) : C(B,A)

:= {x: / (x A) : ( x B )}

.- DEFINICIN DE IGUALDAD DE CONJUNTOS

Se define el smbolo de Igualdad de conjuntos [=]

Def.: A= B := (A B) (B A)

= : Smbolo de Igualdad de
Conjuntos A = B : El Conjunto A
es igual al Conjunto B

16

.- DEFINICIN DE DESIGUALDAD DE CONJUNTOS

Se define el smbolo de Desigualdad de conjuntos []

Def.: AB := A / =B

: Smbolo de Desigualdad de
Conjuntos A B : El Conjunto A no
es igual al Conjunto B

.- DEFINICIN DE IDENTIDAD DE ELEMENTOS DE CONJUNTOS

Se define el smbolo de identidad de elementos de conjuntos []

Def.:

x y :=

{x} = {y}

: Smbolo de Identidad de Elementos de Conjuntos

x

y : El elemento x es idntico al elemento y

Obs: No se define la Identidad de Conjuntos, sino la Identidad de elementos de

Conjuntos. Esto se hace paratener la implicacin (asignacin) dada en la definicin.

17

.- DEFINICIN DE CONJUNTO COMPLEMENTO DE A DENTRO DE B, UNIN , Y

PARTICIN.

Por comodidad se introducen otros smbolos derivados a partir del de inclusin:

[/A] Conjunto complemento de A dentro de B ( Conjunto Complementario cuando A est
incluido en B ), [] Unin, y P(B) Particin de un Conjunto.

.- DEFINICIN DE CONJUNTO UNIVERSO

Def.:

EUniverso := A

: A E

Obs: Un Universo puede ser cualquier conjunto que incluye a otro. Su definicin
es arbitraria y relativa. Podrahaber ms de un Universo.

En general se llama Universo al Conjunto donde se analiza el Sistema. Es el

lmite del Sistema. En ese caso todos los Conjuntos estn incluidos en el Universo.

18

.- DEFINICIN DE COMPLEMENTO DE UN CONJUNTO A INCLUIDO EN OTRO

CONJUNTO

E (UNIVERSO)

Def.: A E

/A := C(A,E)

/A : Conjunto Complemento de A
dentro de E E : Universo

19

.- DEFINICIN DE CONJUNTO UNIN

Def.:

(A B)

:=

/( /A /B)

: Smbolo de Unin de Conjuntos A B : Conjunto

Unin

.- PARTICIN DE UN CONJUNTO

La particin de un conjunto B es un conjunto de conjuntos que cumple:

Def.: P(B) := { A :
A S(B)

: Axioma1

A
=

...

Axioma2

P(B) : Particin del conjunto B

A
n =
B

20

3. Clases de conjuntos por el nmero de elementos

3.1. CONJUNTO UNITARIO

Es aquel conjunto que tiene un solo elemento.

Ejemplos:

3.2. CONJUNTO VACIO (O NULO)

Es aquel conjunto que no tiene elementos.

Ejemplo:
A = {es el conjunto de aves que tienen 3 patas}
B = {es el conjunto de hombres con 4 piernas}
Como se habr dado cuenta no existe ninguna ave u hombre con tres patas o
cuatro piernas respectivamente, por tanto, estos conjuntos carecen de elementos y
decimos que es un conjunto VACIO.
3.3. Conjunto universal: (o universo)

Es el conjunto que contiene, comprende o dentro del cual estn todos los dems
conjuntos, se le simboliza por letra U, grficamente se le representa mediante un
rectngulo en cuyo vrtice (uno cualquiera) se coloca la letra U.

21

Si consideramos como un conjunto universal al sistema Universitario de nuestro

pas, entonces cada Universidad x, ser elemento de dicho universo. El conjunto de
libros de una biblioteca determinada, puede ser otro ejemplo, sus elementos sern
cada uno de los libros de los que consta. El marco de referencia es relativo, de modo
que podemos referir como conjunto universal por ejemplo al conjunto de Bibliotecas
de Contumaz.

3.4. CONJUNTO FINITO

Es aquel cuyos elementos se pueden contar en forma usual desde el primero
hasta el ltimo. El nmero de sus elementos se llama cardinal de conjunto.
Ejemplos:

3.5. CONJUNTO INFINITO

Si contamos no llegamos nunca a un ltimo elemento del conjunto mencionado. A
este tipo de enunciados se denominan conjuntos infinitos o indefinidos.
Ejemplo:

Ejemplo:

1. A = {1, 2, 3,..,100} (es finito)

2. B = {1, 2, 3,.} (es infinito)

3. C = {-4, -3, -2, -1, 0, 1, 2, 3, 4} (es infinito)

22
4. RELACIONES ENTRE CONJUNTOS

4.1. INCLUSIN
Se dice que "A" est incluido en el conjunto "B", cuando todo elemento de A,
pertenece a "B". La inclusin se simboliza por: "("
Tambin se puede decir que A es subconjunto del conjunto B. Se puede denotar
por B(A, que se lee "B incluye, contiene al conjunto A"

Ejemplo:
Si: P = {vacas}
M = {mamferos}
Entonces se tiene:

Sean por ejemplo los conjuntos:

A = {a, b, c, d} B = {a, d}
C = {b, d, a, c} D = {a, c, e}
En este caso se observa las siguientes inclusiones:
B ( A; C ( A; A ( C
En cambio los conjuntos "C" y "D" son incomparables, porque ni "C" incluye a
"D", ni "D" incluye a "C", es decir:
D (C; C(D
Hemos
visto
que
pueden
ocurrir
al
mismo
inclusiones C ( A y A ( C, esto quiere decir, que A = C.

tiempo

las

dos

23

4.2. CONJUNTOS IGUALES

Dos conjuntos son iguales si tienen los mismos elementos, su forma simblica
es: A = B
Ntese que decimos los mismos elementos que no es igual a decir el mismo
nmero de elementos.
De la definicin podemos inferir que: A = A (todo conjunto es igual a s mismo).
Ejemplo 01
Si: A = [1, 3, 7, 9, a, b} B = {a, b, 9, 3, 1, 7}
Entonces: A = B pues son los mismos elementos aunque estn en diferente
orden. Recuerde, no importa el nombre dado al conjunto si no los elementos que lo
forman.
Ejemplo 02
Si: C = {a, e, o, i, u} D = {a, e, o, 3, u}
Entonces: C?D porque a pesar de que cada conjunto tiene cinco elementos (igual
nmero de elementos) basta que exista un elemento diferente para que ya no sean
iguales.

4.3. CONJUNTOS DIFERENTES

Dos conjuntos son diferentes si sus elementos no son iguales.
Ejemplo:

4.4. CONJUNTOS DISJUNTOS

Dos conjuntos son disjuntos si no tienen ningn elemento en comn: es decir,
todos los elementos de un conjunto son diferentes a los elementos de otro conjunto.
Ejemplo:

24
A = {0, 1, 2, 3, 4, 5} B = {9, 8, 7, 6, 10}
En este caso podemos apreciar que ningn elemento de A o B son los mismos a
esto se denomina conjuntos disjuntos.

4.5. CONJUNTO POTENCIA

Se llama as al conjunto formado por todos los subconjuntos que es posible formar
de un conjunto dado. Se simboliza por P. La notacin P(A), se lee: "potencia del
conjunto A". El nmero de subconjuntos que es posible formar con los elementos de
un conjunto es: 2n siendo "n" el nmero de elementos integrantes del conjunto dado.

Ejemplo:

Se pueden intuir muchos sistemas auxiliares para visualizar las relaciones; entre
conjuntos, los ms conocidos son los diagramas lineales y los de Venn-Euler.
1. DIAGRAMAS LINEALES

25
Son aquellos en donde se emplean lneas "(" para determinar la jerarqua entre
conjuntos y se grafican uno debajo de otro teniendo en cuenta si es subconjunto o
est incluido en el que va en la parte superior.
Ejemplo:
Si el conjunto universal lo forman las letras del alfabeto y adems se tiene los
siguientes conjuntos:
A = {a, b, c, d}
B = {c, a, d}
C = {a, d}

Observamos que : C ( B; adems B ( A; y como U es el conjunto universal

(todas las letras del alfabeto)

La representacin lineal ser:

2. DIAGRAMAS DE VENN-EULER
Consiste en graficar mediante crculos, elipses, rectngulos, u otras figuras
geomtricas de rea plana, cada uno de los conjuntos con los que se labora.
Generalmente los puntos interiores a un rectngulo representan al conjunto del
sistema.
Ejemplo: (teniendo en cuenta el ejemplo anteriormente desarrollado en el caso de
los diagramas lineales)
Si el conjunto universal lo forman las letras del alfabeto y adems se tiene los
siguientes conjuntos:
A = {a, b, c, d}

26
B = {c, a, d}
C = {a, d}

Observamos que : C ( B; adems B ( A; y como U es el conjunto universal

(todas las letras del alfabeto)

La representacin de los diagramas de Venn-Euler:

Observamos que el conjunto C esta en el interior del conjunto que lo incluye del
mismo modo, B respecto de A. el conjunto universal est representado por el
rectngulo en nuestro ejemplo; que a su vez est formado por las letras del alfabeto.
C ( B ( A( U

5. OPERACIONES ENTRE CONJUNTOS

Las operaciones entre conjuntos son las disposiciones especficas de combinar
conjuntos para formar otros, de semejante estructura. Dichas operaciones son la unin,
la interseccin, la diferencia, la complementacin, el conjunto Producto o conjunto
cartesiano, y la diferencia simtrica.

5.1. UNIN O REUNIN

Unin o reunin de los conjuntos A y B es el conjunto de elementos "x" que
pertenecen a "A", a "B" o a ambos, se simboliza por: A(B; y se lee: "A unin B"
Por comprensin:

27

Grficamente, la unin de conjuntos se representa, en un diagrama de VennEuler, achurando la zona donde se encuentran los diversos elementos que
pertenecen a los conjuntos que van a formar la unin o reunin.

Ejemplo:

28
PRO PIEDADES DE LA UNIN DE CONJUNTOS

5.2. INTERSECCIN

Interseccin de los conjuntos A y B es el conjunto de elementos "x" que

pertenecen a "A" y a "B". Est formado por elementos comunes a los conjuntos que
forman la interseccin. Se simboliza por A(B y se lee: A interseccin B.

Grficamente, la respuesta es la zona sombreada que contiene a los elementos

que pertenecen a ambos conjuntos.

29

PROPIEDADES DE LA INTERSECCIN DE CONJUNTOS

5.3. DIFERENCIA

Diferencia entre los conjuntos "A" y "B", es el conjunto de elementos "x" que
pertenecen a "A" pero no a "B", se simboliza por "A( B"

Ejemplo:
Sean los conjuntos.
A = {1, 2, 3, 4, 5, 6}
B = {4, 5, 6, 7, 8, 9} y el conjunto universal, el conjunto de Nmeros Naturales.

30

En el diagrama, la parte achurada, representa: "A(B"

A( B = {1, 2, 3}

a. Si el conjunto universal, esta formado por los nmeros naturales la

diferencia ser:

5.4. COMPLEMENTACIN

Complemento de un subconjunto cualquiera "B" respecto a "U" (conjunto

universal), es el conjunto de elementos de "U" que no pertenecen a "B". Se llama
tambin complemento de "B" en "U", o simplemente conjunto diferencia de
"U( B". Se lo reconoce por:

31

Definicin 2; complemento de un subconjunto cualquiera "B" respecto a un

conjunto "A" que no pertenece a "B". se le llama complemento de "B" en "A", o
simplemente conjunto diferencia "A(B".

Ejemplo 1:
Si el conjunto universal est formado por los habitantes de nuestro pas, y si "A"
es el conjunto de habitantes de nuestra ciudad, entonces "A" representa a los
habitantes de nuestro pas que no son de nuestra ciudad.

Ejemplo 2:

32

5.5. DIFERENCIA SIMTRICA

Diferencia simtrica de los conjuntos "A" y "B", es el conjunto de elementos de "A"

y de "B", excepto los que pertenecen a la interseccin. Esto es, que pertenecen a "A"
o "B".

Ejemplo:
Sean:

33

Resolucin:
Por definicin:

O tambin:

34

PROPIEDADES DE LA DIFERENCIA SIMTRICA

CONCLUSIONES

La teora de conjuntos es una rama de las matemticas que estudia las propiedades y
relaciones de los conjuntos: colecciones abstractas de objetos, consideradas como objetos
en s mismas. Los conjuntos y sus operaciones ms elementales son una herramienta
bsica en la formulacin de cualquier teora matemtica.

35
Sin embargo, la teora de los conjuntos es lo suficientemente rica como para construir el
resto de objetos y estructuras de inters en matemticas: nmeros, funciones, figuras
geomtricas; y junto con la lgica permite estudiar los fundamentos de aquella. En la
actualidad se acepta que el conjunto de axiomas de la teora de Zermelo-Fraenkel es
suficiente para desarrollar toda la matemtica.
Adems, la propia teora de conjuntos es objeto de estudio per se, no slo como
herramienta auxiliar, en particular las propiedades y relaciones de los conjuntos infinitos. En
esta disciplina es habitual que se presenten casos de propiedades indemostrables o
contradictorias, como la hiptesis del continuo o la existencia de uncardinal inaccesible. Por
esta razn, sus razonamientos y tcnicas se apoyan en gran medida en la lgica.

REFERENCIA BIBLIOGRFICA

Bartle, Bartle, y Sheerbert Donald, Introduccin al anlisis matemtico de una

variable, Limusa, Mxico, 1994.
Kleiman, Ariel, Teora de conjuntos para economa y administracin, Limusa, Mxico,
1997.
Lipschutz, Seymour, Probabilidad, McGraw-Hill, Mxico, 1994.
http://www.uv.es/~jkliment/Documentos/SetTheory.pc.pdf

36

http://matematica.cubaeduca.cu/medias/interactividades/temas_10mo/01_teoria_de_
conjuntos/co/teoria_de_conjuntos_5.html
http://wmatem.eis.uva.es/~matpag/CONTENIDOS/Conjuntos/marco_conjuntos.htm
http://colposfesz.galeon.com/est501/conjunto/teoconj.htm