Conjunto vacío

Desde fines del siglo XX, en la matemática, particularmente en la Teoría axiomática de Conjuntos de ZF o la
teoría intuitiva de conjuntos, el conjunto vacío es el que no posee elemento alguno. Puesto que lo único que
define a un conjunto es la propiedad que satisfacen sus elementos, el conjunto vacío es único.

Algunas propiedades de los conjuntos son obviamente ciertas para el conjunto vacío. En una teoría axiomática
de conjuntos, la existencia de un conjunto vacío se postula.

Conjunto unitario
En matemáticas, un conjunto unitario es un conjunto con un único elemento. Por ejemplo, el conjunto { 0 } es
un conjunto unitario. Observe que un conjunto como, por ejemplo, { { 1, 2, 3 } } es también un conjunto
unitario: el único elemento es un conjunto (que, sin embargo, no es unitario). Un conjunto es unitario si y
solamente si su cardinalidad es uno. En la construcción -teorético-conjuntista de los números naturales, el
número 1 es definido como el conjunto unitario { 0 }. En la teoría axiomática de conjuntos, la existencia de
conjuntos unitarios es una consecuencia del axioma del conjunto vacío y axioma de apareamiento: el primero da
vacío, y el último, aplicado al apareamiento de { } y { }, produce el conjunto unitario . si A es un conjunto y S
es cualquier conjunto unitario, existe exactamente una función de A a S, la función constante que envía cada
elemento de A al elemento de S. Las estructuras construidas sobre conjuntos unitarios sirven a menudo como los
objetos terminales o finales o los objetos cero de varias categorías:
Conjunto finito
En matemáticas, un conjunto finito es un conjunto que tiene un número finito de elementos. Por ejemplo {2, 4,
6, 8, 10} es un conjunto finito con cinco elementos. La cardinalidad o número de elementos de un conjunto
finito es igual a un número natural.

Si un conjunto no es finito, entonces es infinito. Por ejemplo, el conjunto N = {1, 2, 3, ...} de los números
naturales es infinito. Todo conjunto finito es un conjunto numerable, puesto que sus elementos pueden contarse,
pero la recíproca es falsa: existen conjuntos numerables que no son infinitos (como el propio N).

Los conjuntos finitos son particularmente importantes en combinatoria.

Conjunto infinito
En teoría de conjuntos, un conjunto infinito es
un conjunto que no es finito. Algunos ejemplos
son:

 Los números enteros Z = {..., -3, -2, -1, 0, 1, 2,

3, ...} forman un conjunto infinito y
numerable.
 Los puntos en una recta, representados por
un número real, forman un conjunto infinito
y no numerable.

Conjuntos disjuntos
En matemáticas, dos conjuntos son disjuntos o ajenos si no tienen ningún elemento en común. Equivalentemente, dos
conjuntos son disjuntos si su intersección es vacía. Por ejemplo, {1, 2, 3} y {a, b, c} son conjuntos disjuntos.
Relación de igualdad

Veremos ahora en que condiciones podemos decir que dos conjuntos son iguales, esto lo haremos a través de la
relación de igualdad entre conjuntos.

Observa los conjuntos

y  , definidos así:  y

¿Consideras que los conjuntos 

y 

son iguales?  Antes de contestar esta pregunta necesitas tener criterios para poder responder adecuadamente.

Se dice que dos conjuntos son iguales si tienen exactamente los mismos elementos.  Una forma práctica de
establecer si dos conjuntos son iguales es determinar si se contienen el uno al otro.

Por ejemplo, para verificar si los conjuntos

y  de la imagen son iguales, debemos verificar si  y además si

¿Es cierto que cada elemento de 

está en  , y que cada elemento de  está en  ?  Como puedes ver la respuesta a esta pregunta es afirmativa, decimos
entonces que  es igual a  y lo notamos así: 
.

Fíjate que no importó que algunos elementos estuvieran repetidos, o en que orden estuvieran presentados los
elementos.  Resultaría igual escribir por ejemplo

que   o que es decir:

Si se da el caso que dos conjuntos no son iguales usamos el símbolo

.  De esta manera la expresión debe ser leída como “ es diferente a ”, o “ y no son iguales”.

Los conjuntos equivalentes son aquellos que poseen la misma cardinalidad, que es el número de
elementos que contiene un conjunto.

En otras palabras, decimos que dos (o más) conjuntos son equivalentes si estos tienen la misma cantidad de
elementos. Esto, independientemente de cuáles sean dichos elementos.

En términos formales, los conjuntos M y N, de la misma forma, son equivalentes si |M| = |N|, siendo las barras
laterales el signo que indica que nos estamos refiriendo a la cardinalidad de un conjunto.

Por ejemplo, el conjunto M={a,e,i,o,u} es equivalente al conjunto N={lunes, martes,miércoles, jueves, viernes}.

Unión de conjuntos
En la teoría de conjuntos, la unión de dos (o más) conjuntos es una operación que resulta en otro conjunto, cuyos
elementos son los mismos de los conjuntos iniciales. Por ejemplo, el conjunto de los números naturales es la unión del
conjunto de los números pares positivos P y el conjunto de los números impares positivos I:
Intersección de conjuntos
Ir a la navegación Ir a la búsqueda

La intersección de A y B es otro conjunto A ∩ B que contiene sólo los elementos que pertenecen tanto a A como a B.

En teoría de conjuntos, la intersección de dos (o más) conjuntos es una operación que resulta en otro conjunto
que contiene los elementos comunes a los conjuntos de partida. Por ejemplo, dado el conjunto de los números
pares P y el conjunto de los cuadrados C de números naturales, su intersección es el conjunto de los cuadrados
pares.
Producto cartesiano

Producto cartesiano de conjuntos

En matemáticas, el producto cartesiano de dos conjuntos es una operación, que resulta en otro conjunto, cuyos
elementos son todos los pares ordenados que pueden formarse de forma que el primer elemento del par
ordenado pertenezca al primer conjunto y el segundo elemento pertenezca al segundo conjunto.

El producto cartesiano recibe su nombre de René Descartes, cuya formulación de la geometría analítica dio
origen a este concepto.1