ELEMENTOS DE L A TEORI A DE CONJUNTOS

ENTES PRIMITIVOS DE LA TEORÍA

La teoría cuyo estudio vamos a abordar y que es una importante herramienta de la Matemática,
maneja nociones que no admiten definición, esto es, no pueden ser explicitados o descriptos a
partir de objetos definidos con anterioridad. Por ejemplo, si nos preguntamos ¿qué es un
conjunto? podemos aventurarnos a decir que se trata de una ‘colección’ de objetos, una ‘clase’,
una ‘familia’, etc. pero ¿qué es una ‘colección? ¿qué es una ‘clase’? ¿qué es una ‘familia’. Lo
mismo sucede con el objeto ‘elemento’ y la idea de ‘pertenencia’. De este modo entramos en un
círculo vicioso imposible de abandonar.
Es por ello que la llamamos Teoría Axiomática de Conjuntos, o más comúnmente Teoría Intuitiva
de Conjuntos, en la que aceptamos la existencia de ciertas nociones como verdades que no
admiten demostración ni definición.
Lo principal para el desarrollo de la Teoría es aceptar que es posible ‘comprimir’ o ‘substancializar’
una colección de objetos cualesquiera y poder considerarla como un todo o, mejor dicho, como
una única cosa con la que operar a la que llamamos ‘conjunto’. Los objetos de un conjunto se
llaman ‘elementos’ de dicho conjunto.
Entonces, consideramos como entes primitivos de la teoría a las siguientes nociones y relaciones,
de las cuales sólo daremos algunos sinónimos y notaciones:
Conjunto: colección, clase, familia, etc.
Pertenencia: hecho o circunstancia de formar parte de un conjunto
Elemento: objeto, miembro, punto, etc. que pertenece al conjunto
Conjunto bien definido: conjunto en el cual no existe ambigüedad con relación a qué elementos
le pertenecen y cuáles no le pertenecen.
El principio fundamental es que un objeto no puede ser a la vez un conjunto y un elemento de ese
conjunto, es decir, no es aceptado que pueda suceder que “a pertenezca a a”.
Anotamos los conjuntos con letras mayúsculas y a sus elementos con letras minúsculas, sin
repetir, entre llaves y separados por comas (o punto y coma).
Por ejemplo, si los elementos 1, 2 y 3 pertenecen a un conjunto y sólo ellos, escribimos
A = {1, 2, 3 } donde 1 ∈ A, 2 ∈ A, 3 ∈ A pero 4 ∉ A . El símbolo ∈ se lee ‘pertenece a’ y el
símbolo ∉ se lee ‘no pertenece a’.

CARDINAL DE UN CONJUNTO
El cardinal de un conjunto es el número de elementos que tiene ese conjunto y para indicarlo, se
agrega a la izquierda del nombre del conjunto el símbolo # que se lee ‘cardinal de’. Por ejemplo, el
conjunto A tiene 3 elementos lo que se indica # A = 3 . Los conjuntos son finitos si su cardinal es
un entero no negativo, e infinito si no lo es.

CONJUNTOS ESPECIALES
En esta teoría ciertos conjuntos juegan un rol particular y para casi todos se reserva una notación
especial:
Conjunto Vacío: Es aquel que no tiene elementos. Not. φ = { } . Es único y φ ≠ {φ} .
Conjunto Universal: Conjunto de referencia integrado por todos los elementos con los que se
está trabajando. Not. U.
Conjunto Unitario: Contiene un único elemento: { a } se lee ‘singulete a’.
Conjuntos Numéricos: Naturales: N; Enteros: Z; Racionales: Q;
Reales: R Complejos: C; Reales positivos: R>0, etc.
1
DIAGRAMAS DE VENN U

Los diagramas de Venn son representaciones visuales que utiliza A .6 .5 B

esta teoría para mostrar la relación de pertenencia entre un .3
conjunto y sus elementos, encerrando a éstos en un óvalo o .4 .7
.2
círculo. Los elementos se indican mediante puntos al interior del D .1 .8
recinto cerrado.
.9
C .0
A la derecha se han representado las relaciones entre los
conjuntos:

A = {1, 2, 3, 4, 6} ; B = { 2; 3, 5, 7, 8} ; C = {1, 2, 8, 9} ; D = {4} ; U = {1; 2 ; 3; 4; 5; 6 }

La forma en que esos círculos se conectan entre sí muestra todas las posibles relaciones lógicas
entre los conjuntos que representan. Por ejemplo, cuando los círculos se superponen, indican la
existencia de subconjuntos con algunas características comunes.
Al conjunto Universal se lo representa en general mediante un rectángulo.

Conectivos lógicos y cuantificadores

Las definiciones que necesitamos en esta Teoría se ven facilitadas si utilizamos los conectivos y
cuantificadores que usa la Lógica Proposicional de los cuales damos a continuación su símbolo y
significado, que guarda similitud con el significado en el lenguaje natural.
Disyunción Disyunción
Operación Negación Conjunción Implicación Equivalencia
incluyente excluyente

Conectivo -ó∼ ∨ ∨ ∧ ⇔
No es cierto ... o ... implica ... ... equivale a ...
Se lee que... ... o ... excluyente ... ... y ...
si ... entonces... ... si, y sólo si ...

Cuantificadores: Universal ( ∀ : para todo).

Existencial ( ∃ : existe al menos uno); ( ∃ !: existe un único); ( ∃/ : no existe).

DETERMINACIÓN DE CONJUNTOS
Un conjunto se puede determinar de dos maneras: por extensión y por comprensión.
o Un conjunto finito está determinado por extensión cuando se escriben uno a uno todos sus
elementos.
Ejemplo: A = {1, 2 ,3,4 ,5, 6 } que no es más que el conjunto de los números naturales menores
o iguales a 6, o bien, menores que 7.
o Un conjunto está determinado por comprensión cuando solamente se menciona una
característica o propiedad común de todos los elementos.
Ejemplo: A = { x ∈ N / x ≤ 6 } que es el mismo conjunto del ejemplo anterior.
Incluso el conjunto vacío puede ser escrito de ambas formas, por extensión así φ = { } y por
comprensión, mediante cualquier enunciado que no se verifique para ningún elemento del
{ }
universal, por ejemplo: φ = { x / x ≠ x} ó φ = x ∈ N / x 2 + 1 = 0 . También debemos admitir un abuso
de lenguaje que introduce cierta ambigüedad cuando pretendemos, por ejemplo, escribir el
conjunto de los números Naturales así: N = {1, 2 , 3, } ¿Está escrito por extensión o por
comprensión? La respuesta es: por ambos. Tres elementos están dados por extensión (sugiriendo
que son los primeros) y los puntos suspensivos sugieren la propiedad “súmele 1” para obtener el
siguiente y siga así hasta el infinito.

2
INCLUSIÓN
Una de las relaciones más importantes de la teoría de conjuntos, junto a la igualdad y la
pertenencia, lo constituye la inclusión pues permite definir formalmente nada menos que la
igualdad entre conjuntos.
Diremos que un conjunto A está incluido en otro conjunto B si, y sólo si, todos y cada uno de los
elementos que pertenecen a A, pertenecen también a B . Esto se anota A ⊂ B que se lee “A está
incluido en B” o “A es un subconjunto B”, o “A es parte de B”, o bien, B ⊃ A que se lee “B incluye a
A”. U

B
Entonces: A ⊂ B ⇔ ∀x ∈ U : ( x ∈ A x∈B) A

Es interesante observar que siempre se verifica que: a ∈ A { a }⊂ A

Debemos aclarar que la inclusión que aquí hemos definido es una inclusión amplia y no estricta,
en el sentido de que admite que los conjuntos A y B pueden ser iguales. Algunos autores utilizan,
para la inclusión amplia el símbolo “⊆” y para la estricta “⊂”. Si un conjunto no está incluido en
otro, se utiliza el símbolo “ ⊄ ”.
Abecedario=U
Ejemplos
1) El conjunto de las vocales está estrictamente incluido en el
Abecedario. El Abecedario incluye al conjunto de las vocales. vocales

2) Si H = {0 ,3,4,1 } y T = { 0,1,2 ,3,4 }, como todos los T

elementos de H pertenecen a T, se dice, que H está .0 .3

.2 H
. 4. 1
estrictamente incluido en T y se anota H ⊂ T .

Propiedades
Aceptamos sin demostración las siguientes propiedades de la inclusión suponiendo que todos los
conjuntos con los que se trabaja están incluidos en el universal U de modo de evitar en la
notación los cuantificadores. Así procederemos en las ocasiones restantes:
1) El conjunto vacío está incluido en cualquier conjunto: φ⊂ A
2) Todo conjunto está incluido en sí mismo: A⊂ A
3) Si un conjunto está incluido en otro y este está incluido en un tercero, el primero está
incluido en el tercero (transitiva): ( A⊂ B ∧ B ⊂C ) A⊂C
La inclusión no es, en general, conmutativa, esto es: ( A≠ B ∧ A⊂ B ) B⊄ A

IGUALDAD
Es obvio que dos conjuntos son iguales si contienen los mismos elementos pero daremos una
definición formal a expensas de la inclusión.
Diremos que dos conjuntos A y B son iguales si, y sólo si, cada uno está incluido en el otro. A esa
igualdad la anotamos A = B .
Es decir: A=B ⇔ A⊂B ∧ B⊂ A
o lo que es lo mismo: A = B ⇔ ∀x ∈ U : [( x ∈ A x∈B ) ∧ ( x∈B x ∈ A )]
También: A≠ B ⇔ A⊄ B ∨ B ⊄ A
3
Propiedades
1) Reflexiva: Todo conjunto es igual a sí mismo. A = A
2) Simétrica: Si un conjunto es igual a otro, éste es igual al primero. A= B B=A
3) Transitiva: Si un conjunto es igual a otro y éste es igual a un tercero, el primero es
igual al tercero. (A= B ∧ B=C) A=C

Conjunto de Partes o Conjunto Potencia

Dado un conjunto no vacío A, llamamos conjunto de partes o conjunto potencia de A, y anotamos
P ( A) , al conjunto cuyos elementos son todos los subconjuntos de A. Por lo tanto, se trata de un
conjunto de conjuntos.
Es decir: P( A) = { X / X ⊂ A}
Como para cualquier conjunto A se cumple que φ ⊂ A y A⊂ A , entonces:

φ ∈ P( A) y A ∈ P( A)
Además, es verdadera la cadena de implicaciones:
a∈ A {a } ⊂ A { a }∈ P( A) {{ a }} ⊂ P( A) {{ a }}∈ P [P( A)]
Existe una relación entre el cardinal de un conjunto y el cardinal del conjunto potencia de ese
conjunto y ésta es: # P( A) = 2 # A
Ejemplo: Dado el conjunto A= {1,2 ,3 }. Como # A = 3 # P ( A) = 2 # A = 2 3 = 8 y su conjunto de
partes es P( A) = {φ , {1 }, { 2 }, {3 }, {1, 2 }, {1, 3 }, { 2 , 3 }, {1, 2, 3 }}

CONJUNTOS DISJUNTOS Y RAMPANTES

Dados dos conjuntos, se dice que son disjuntos si no existen elementos comunes a ambos y se
dice que son rampantes si al menos tienen un elemento en común. U

Ejemplo: D = {a, b, c, d } y F = {e, f , g} son disjuntos; en cambio, D G F

D y G = {a, c, e, f , h} son rampantes. .b .a .h .e
.g
.c .f
.d
OPERACIONES ENTRE CONJUNTOS
Unión
La unión de dos conjuntos A y B incluidos en U, es otro conjunto formado por los elementos de A
o de B o de ambos. En definitiva, es la reunión de todos los elementos. A esa unión se la anota
A ∪ B , que se lee “A unión B”
Es decir: A ∪ B = { x ∈U x ∈ A ∨ x ∈B }
A continuación mostramos los resultados de la operación mediante diagramas de Venn, según las
distintas situaciones que pueden presentarse:
U U U
A A A∪B A∪B
A∪B B
A
B
B
Conjuntos rampantes Conjuntos disjuntos Conjuntos incluidos
A⊂ B A∪B = B
4
Propiedades (Verifíquelas mediante definiciones, propiedades, diagramas)
1) Idempotencia: A∪ A = A
2) Conmutativa: A∪ B = B∪ A
3) Asociativa: (A ∪ B) ∪ C = A ∪ (B ∪ C ) = A ∪ B ∪ C
4) Elemento neutro: A ∪ φ = φ ∪ A= A Es el conjunto vacío

5) Elemento absorbente: A ∪ U = U ∪ A =U Es el conjunto universal

U
Ejemplo: La unión de los conjuntos
T
H = { 0, 1, 3, 4 } y T = { 0, 1, 2, 3, 4 } es el conjunto .0 .3
.2 H
H ∪ T = { 0, 1, 3, 4 } ∪ { 0, 1, 2, 3, 4} = { 0, 1, 2, 3, 4} = T . 4. 1

Intersección
La intersección de dos conjuntos A y B incluidos en U, es otro conjunto formado por los elementos
que son comunes a ambos conjuntos. A esa intersección se la anota A ∩ B , que se lee “A
intersección B”.
Es decir: A ∩ B = { x ∈U x ∈ A ∧ x ∈B }
U U U
A A
A∩B A∩B B
A
B B A∩B

Conjuntos rampantes Conjuntos disjuntos Conjuntos incluidos

A∩ B ≠ φ A∩ B = φ A⊂ B A∩B = A

Propiedades (Verifíquelas mediante definiciones, propiedades, diagramas)

1) Idempotencia: A∩ A = A
2) Conmutativa: A∩ B = B∩ A
3) Asociativa: (A ∩ B) ∩ C = A ∩ (B ∩ C ) = A ∩ B ∩ C
4) Elemento neutro: A ∩U = U ∩ A= A Es el conjunto universal
5) Elemento absorbente: A∩ φ = φ ∩ A=φ Es el conjunto vacío
6) Distributivas
o La unión es distributiva respecto de la intersección: A ∪ ( B ∩ C ) = ( A ∪ B ) ∩ ( A ∪ C )
o La intersección es distributiva respecto a la unión: A ∩ ( B ∪ C ) = ( A ∩ B ) ∪ ( A ∩ C )

Ejemplo: La intersección de los conjuntos T

H = { 0, 1, 3, 4 } y T = { 0, 1, 2, 3, 4 } es el conjunto .0 .3
.2 H
H ∩ T = { 0, 1, 3, 4 } ∩ { 0, 1, 2, 3, 4} = { 0, 1, 3, 4} = H
. 4. 1

5
Diferencia
La diferencia de dos conjuntos A y B incluidos en U, en ese orden, es otro conjunto formado por
los elementos de A que no pertenecen a B . A esa diferencia se la anota A − B , que se lee “A
menos B”.
Es decir: A − B = { x ∈U x ∈ A ∧ x ∉B }
U U U
A A− B A A− B A− B
A
B
B B

Conjuntos rampantes Conjuntos disjuntos Conjuntos incluidos

A∩ B ≠ φ A∩ B = φ A−B=A B⊂ A

Propiedades (Verifíquelas mediante definiciones, propiedades, diagramas)

1) A − A = φ
2) A − φ = A

3) φ − A = φ
4) A ⊂ B A− B= φ
5) A ∩ B = φ ( A − B = A) ∧ ( B − A = B )
6) A − ( A − B) = A ∩ B
7) A ∩ ( B − C ) = ( A ∩ B ) − ( A ∩ C )

8) A ∪ B = ( A − B ) ∪ ( A ∩ B ) ∪ ( B − A)

La Diferencia entre conjuntos no es, en general, conmutativa: A ≠ B A−B ≠ B− A

U

Ejemplo: La diferencia de los conjuntos H = { 0,1, 3, 4 } T

y T = { 0, 1, 2, 3, 4 } , en ese orden, es el conjunto .0 .3

.2 H
. 4. 1
H − T = { 0, 1, 3, 4 } − { 0, 1, 2, 3, 4} = φ

Complemento

Complemento de un conjunto A ⊂ U es el conjunto diferencia U − A , que se anota A ' , ó A , ó

U
Ac
Es decir: A ' = U − A = { x ∈U x ∉A}
A

A’

Propiedades (Verifíquelas mediante definiciones, propiedades, diagramas)

1) ( A ' )' = A Propiedad involutiva
6
2) U ' = φ
3) φ ' = U

4) A ∪ A ' = U
5) A ∩ A ' = φ
6) A − B = A ∩ B '
7) Leyes de De Morgan
o El complemento de la unión es igual a la intersección de los complementos:
( A ∪ B) ' = A ' ∩ B '
o El complemento de la intersección es igual a la unión de los complementos:
( A ∩ B) ' = A ' ∪ B '
Aquí diagramamos la primera de las Leyes de De Morgan:

intersección es igual a
A B A B A B

A’ B’ (A∪B)’

Ejemplo: abecedario U

Si se toma como universal al conjunto U = { x / x es letra del abecedario}

vocales
el complemento del conjunto H = { x / x es una vocal} es el conjunto H

H ' = U − H = { x / x es una consonante }

H’ consonantes

Diferencia Simétrica
La diferencia simétrica entre dos conjuntos A y B incluidos en U, en ese orden, es el conjunto
formado por la unión de las diferencias A − B y B − A , que se anota A ∆ B y que se lee “A
diferencia simétrica B”. En definitiva es el conjunto de los elementos que pertenecen a A o a B
pero no a ambos.
Es decir: A ∆ B = ( A − B ) ∪ ( B − A)

A∆B A∆B
A∆B B

A-B B-A
A∩B

A-B B-A A B-A

Conjuntos rampantes Conjuntos disjuntos Conjuntos incluidos

A∩ B=φ A∆ B = A∪ B A⊂ B A∆ B = B − A
Propiedades (Verifíquelas mediante definiciones, propiedades, diagramas)
1) A ∆ B = ( A ∪ B ) − ( A ∩ B ) Equivalente a la definición

2) A ∆ B = ( A ∩ B ' ) − ( B ∩ A ' ) Equivalente a la definición

3) A ∆ A = φ
7
4) ( A ∆ B ) ∆ C = A ∆ ( B ∆ C ) Propiedad Asociativa
5) A ∆ B = B ∆ A Propiedad conmutativa

6) A ∩ B = φ A∆ B = A ∪ B
7) A ⊂ B A∆ B = B − A
8) A ∆ φ = φ ∆ A = A El elemento neutro es el conjunto vacío

9) A ∆ U = A '
U

Ejemplo: La diferencia simétrica de los conjuntos H = { 0,1, 3, 4 } y T

.0 .3
T = { 0, 1, 2, 3, 4 }, en ese orden, es el conjunto .2
. 4. 1
H

H ∆ T = { 0, 1, 3, 4 } ∆ { 0, 1, 2, 3, 4} =
= ({ 0, 1, 3, 4 } ∪ { 0, 1, 2, 3, 4}) − ({ 0, 1, 3, 4 } ∩ { 0, 1, 2, 3, 4}) = { 0, 1, 2, 3, 4} − { 0, 1, 3, 4 } = { 2 }

BIBLIOGRAFÍA
• Andreoli, D. Teoría de Conjuntos. Editado por el Centro de Estudiantes de la Facultad de
Ciencias Agrarias (UNNE), 2.011.
• Rojo, A. Álgebra I. El Ateneo, 1.973, Buenos Aires.