Igualdad de conjuntos[editar]

Conjunto de personas. El conjunto de «personas» mostrado en la imagen, A, tiene 8 miembros. Este

conjunto puede representarse mediante llaves o mediante un diagrama de Venn. El orden de las
personas en A es irrelevante.

Un conjunto está totalmente determinado por sus elementos. Por ello, la igualdad de conjuntos
se establece como:

Propiedad de la extensionalidad
Dos conjuntos A y B que tengan los mismos elementos son el mismo conjunto, A = B.

Esta propiedad tiene varias consecuencias. Un mismo conjunto puede especificarse de

muchas maneras distintas, en particular extensivas o intensivas. Por ejemplo, el conjunto A de
los números naturales menores que 5 es el mismo conjunto que A′, el conjunto de los números
1, 2, 3 y 4. También:
B = {verde, blanco, rojo} = {colores de la bandera de México}
C = {a, e, i, o, u} = {vocales del español}
D = {Palos de la baraja francesa} = {♠, ♣, ♥, ♦}
El orden en el que se precisan los elementos tampoco se tiene en cuenta para
comparar dos conjuntos:
B = {verde, blanco, rojo} = {rojo, verde, blanco}
C = {a, e, i, o, u} = {e, i, u, a, o}
Además, un conjunto no puede tener elementos «repetidos», ya que un
objeto solo puede o bien ser un elemento de dicho conjunto o no serlo. Se
da entonces que, por ejemplo:
{1, 2} = {1, 2, 1}
En ausencia de alguna característica adicional que distinga los «1»
repetidos, lo único que puede decirse del conjunto de la derecha es
que «1» es uno de sus elementos.

Conjunto vacío[editar]
Artículo principal: Conjunto vacío

El conjunto que no contiene ningún elemento se llama el conjunto

vacío y se denota por  o simplemente {}. Algunas teorías axiomáticas
de conjuntos aseguran que el conjunto vacío existe incluyendo
 un axioma del conjunto vacío. En otras teorías, su existencia puede
deducirse. Muchas posibles propiedades de conjuntos son
trivialmente válidas para el conjunto vacío.
Propiedades[editar]
En la teoría de conjuntos axiomática estándar, por el Axioma de
extensionalidad, dos conjuntos son iguales si tienen los mismos
elementos; por lo tanto solo puede haber un conjunto sin ningún
elemento. Por consiguiente, solo hay un único conjunto vacío, y
hablamos de "el conjunto vacío" en lugar de "un conjunto vacío".
Para cualquier conjunto A:
(Ver operaciones con conjuntos)
 El conjunto vacío es un subconjunto de A:
 La unión de A con el conjunto vacío es A:
 La intersección de A con el conjunto vacío es el conjunto vacío:
 El producto cartesiano de A y el conjunto vacío es el conjunto
vacío:
El conjunto vacío tiene las siguientes propiedades:
 Su único subconjunto es el propio conjunto vacío:
 El conjunto potencia del conjunto vacío es el conjunto que
contiene únicamente el conjunto vacío:
 Su número de elementos (cardinalidad) es cero:
(La lista de símbolos matemáticos empleados se encuentra aquí).
Subconjuntos[editar]
Artículo principal: Subconjunto