Subconjunto
A es subconjunto de otro conjunto B si todos los elementos de A pertenecen también a B. Decimos entonces que A «está contenido» dentro de B.
![](../I/Venn_A_subset_B.svg.png.webp)
Es decir, A ⊆ B.
Definición
La diferencia entre los conjuntos es formado por elementos que pertenecen a uno y a los otros no.
Otras maneras de decirlo son «A está incluido en B», «B incluye a A»,etc.
Ejemplos
- El «conjunto de todas las mujeres» es un subconjunto del «conjunto de todas las personas».
- {1, 3} ⊆ {1, 2, 3, 4}
- {2, 4, 6,...} ⊆ {1, 2, 3,..} = N. Es decir, números pares ⊆ números naturales
Subconjunto propio
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:
|
Así, dados dos conjuntos A ⊆ B, cabe la posibilidad de que sean iguales, A = B.
Por otro lado, es posible también que A contenga algunos pero no todos los elementos de B:
|
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:
|
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.
Por ejemplo, dado el conjunto A = {a, b}, su conjunto potencia es:
Propiedades
|
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:
![](../I/Subset_with_expansion.svg.png.webp)
En el diagrama, .
|
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).
Bibliografía
- Lipschutz, Seymour (1991). Teoría de conjuntos y temas afines. McGraw-Hill. ISBN 968-422-926-7.
Véase también
Referencias
- Lipschutz, 1991, p. 3.
Enlaces externos
- Esta obra contiene una traducción derivada de «Subset» de Wikipedia en inglés, publicada por sus editores bajo la Licencia de documentación libre de GNU y la Licencia Creative Commons Atribución-CompartirIgual 4.0 Internacional.