Escolar Documentos
Profissional Documentos
Cultura Documentos
DEFINICIÓN
La diferencia entre los conjuntos es informando por los elementos que pertenecen a uno y a los
otros no.
Otras maneras de decirlo son «B está incluido en A», «A incluye a B», etc.
Ejemplos.
El «conjunto de todos los hombres» es un subconjunto del «conjunto de todas las personas».
{1, 3} ⊆ {1, 2, 3, 4}
{2, 4, 6, ...} ⊆ {1, 2, 3, ..} = N ( {Números pares} ⊆ {Números naturales} )
SUBCONJUNTO PARES
Es cierto que cada elemento de un conjunto A es un elemento de A (es una
afirmación tautológica). Por tanto se tiene el siguiente teorema:
Es verdadero que todos los ejemplos de subconjunto mostrados arriba son de hecho
subconjuntos propios.
También se utiliza la notación A ⊂ B y B ⊃ A, pero según el autor esto puede denotar
subconjunto, A ⊆ B y B ⊇ A; o subconjunto propio, A ⊊ B y B ⊋ A.1
CONJUNTO POTENCIA
La totalidad de los subconjuntos de un conjunto dado A constituye el llamado conjunto
potencia o conjunto partes de A:
El conjunto potencia de A es el conjunto formado por todos los subconjuntos de A:
Cuando el conjunto A tiene un número finito de elementos, por ejemplo |A| = n, el conjunto
potencia también es finito y tiene 2n elementos.
Ejemplo. Dado el conjunto A = {a, b}, su conjunto potencia es:
PROPIEDADES
El conjunto vacío, 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
ningún elemento que 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 también a C, o sea:
Además, 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:
Propiedades avanzadas
La relación de inclusión tiene las mismas propiedades que la relación de orden no estricto:
es reflexiva (A ⊆ A); transitiva (A ⊆ B y B ⊆ C implican A ⊆ C);
y antisimétrica (A ⊆ B y B ⊆ A implican A = B).