Pertenencia e inclusión: dos formas de estar dentro
La pertenencia y la inclusión son dos maneras distintas de estar dentro en el mundo de los conjuntos. La pertenencia conecta un objeto con el grupo al que pertenece, como cuando dices yo estoy en mi salón. La inclusión conecta un grupo pequeño con un grupo más grande que lo contiene completo, como cuando dices mi salón está dentro del colegio.
La pertenencia es la relación entre un elemento y un conjunto. Si x está dentro de A se escribe x ∈ A, y si no está se escribe x ∉ A. Esta relación solo vale entre elemento y conjunto, nunca entre conjunto y conjunto. Por ejemplo, si B = {1, 2, 3}, entonces 2 ∈ B es verdadero porque aparece en la lista, mientras que 4 ∉ B es verdadero porque no aparece.
La inclusión es la relación entre un conjunto y otro conjunto. Si todos los elementos de A también están en B se escribe A ⊂ B, lo que significa que cada vez que x ∈ A también se cumple x ∈ B. Si al menos un elemento de A falta en B se escribe A ⊄ B. Con M = {1, 2} y N = {1, 2, 3}, M ⊂ N es verdadero y N ⊄ M es verdadero. Imagina cajas chinas: la caja pequeña guardada completa dentro de la grande.
La inclusión tiene tres propiedades clave: todo conjunto está incluido en sí mismo, el conjunto vacío ∅ está incluido en todos, y vale la transitividad, es decir si A ⊂ B y B ⊂ C entonces A ⊂ C. La regla de oro para no confundirte es no mezclar niveles: lo correcto es 1 ∈ M para el elemento y {1} ⊂ M para el conjunto de un solo elemento. Para verificar pertenencia buscas un elemento en la lista, y para verificar inclusión revisas todos uno por uno, porque un solo contraejemplo rompe la inclusión.