Subconjunto

Un conjunto A es subconjunto de un conjunto B, si todo elemento del conjunto A es

un elemento del conjunto B. La notacin A B se lee A es subconjunto de B. La
notacin A B se lee A no es subconjunto de B.
Si A no es subconjunto de B, A B, significa que por lo menos un elemento de A
no est en B.
Propiedades de subconjunto

El conjunto vaco, denotado como , es subconjunto de cualquier conjunto.

Esto es debido a que todo elemento de lo es de A significa lo mismo que

no tiene ningn elemento que no est en A, y esto es cierto sea cual sea A ya
que no tiene elementos.
Si cada elemento de un conjunto A lo es de otro conjunto B, y cada elemento
de B a su vez lo es de otro conjunto C, entonces cada miembro de A pertenece
tambin a C, o sea:

Dados tres conjuntos A, B y C, si A es subconjunto de B y B es subconjunto de C,

entonces A es subconjunto de C.

Adems, si dos conjuntos son subconjuntos el uno del otro, entonces todos los
miembros de uno lo son del otro y viceversa. Entonces, ambos conjuntos poseen
los mismos elementos, y los conjuntos quedan definidos nicamente por sus
elementos, luego:

Si A es subconjunto de B y B es subconjunto de A , entonces A = B.

Propiedades avanzadas
La relacin de inclusin tiene las mismas propiedades que la relacin de orden no
estricto:
es reflexiva (A A); transitiva (A B y B C implican A C);
y antisimtrica (A B yB A implican A = B).
Familia de conjuntos
En matemticas una familia de conjuntos o una coleccin de conjuntos es
un conjunto cuyos elementos son a su vez conjuntos. El nombre familia o
coleccin se utiliza para enfatizar la naturaleza conjuntista de sus elementos y
suele venir acompaado de una notacin distinta. 1
Definicin

Una familia de conjuntos es un conjunto F cuyos elementos son conjuntos.

Esta nomenclatura es habitual en los contextos en los que se trabaja con un objeto
matemtico determinado y se desea distinguir los conjuntos de objetos de los
conjuntos de conjuntos de objetos.
Familia indexada
Una manera habitual de especificar una familia de conjuntos (y en general, una
familia o conjunto de cualesquiera objetos matemticos) es a travs de
un conjunto ndice. El caso ms sencillo es una familia infinita numerable, que
puede denotarse {A1, A2, ...} o tambin {Ai}i N. En este caso el conjunto ndice es
el conjunto de los nmeros naturales. En general, una familia indexada de
conjuntos es una familia de conjuntos en correspondencia biunvoca con algn
conjunto ndice:

Una familia indexada de conjuntos de conjunto ndice I es una funcin

con dominio I (donde I es no vaco) y cuyas imgenes son conjuntos.
Dicha familia puede denotarse entonces como {Ai}i I. Ntese que en una familia
indexada dos elementos pueden estar repetidos, esto es, puede
ocurrir Ai = Aj con i j.2

Conjunto potencia
La totalidad de los subconjuntos de un conjunto dado A constituye
llamado conjunto potencia o conjunto partes de A:

el

El conjunto potencia de A es el conjunto formado por todos los subconjuntos de A:

Cuando el conjunto A tiene un nmero finito de elementos, por ejemplo |A| = n, el

conjunto potencia tambin es finito y tiene 2n elementos.
Ejemplo. Dado el conjunto A = {a, b}, su conjunto potencia es:

Cardinal de un conjunto
El cardinal de un conjunto finito A es el nmero de elementos que tiene dicho
conjunto. A ese nmero lo denotaremos por | A |.
No es difcil llegar a que, si tenemos dos conjuntos A y B, entonces
|A B | = |A| + | B | |A B |
Ejemplo:
Se sabe que, de los 65 alumnos del sexto curso, a 30 les gusta la Biologa, a 40
las Matemticas y a 10 les gustan ambas asignaturas.
El diagrama de Venn que representa el enunciado es el que aparece a la derecha.
Claramente, el conjunto universal debe ser U = {x / x es alumno del sexto curso}.
Representemos por:
B={x pertenece U/a x le gusta la Biologa} y M={x pertenece U/a x le gustan las
Matemticas}.
Entonces, segn el enunciado, | U | = 65, | B | = 30, | M | = 40, | B interseccion M |
= 10.
Los nmeros que aparecen en las regiones coloreadas corresponden a los
cardinales de los conjuntos que representan. As,
| B M| = 10, | B M| = 30 10 = 20 y | M B| = 40 10 = 30,

El | B union M | = 20 + 10 + 30 = 60, que coincide con el resultado de | B | + | M|

| B M|, que es 30 + 40 10 = 60.
El cardinal de (B union M) l es | (B union M) l | = 65 60 = 5.