Un conjunto es una colección bien definida de elementos. La pertenencia permite decidir si un objeto forma parte o no de esa colección, una idea clave para razonar y programar con datos.
Los conceptos de conjunto, elemento y pertenencia son la base de toda la teoría de conjuntos. Antes de estudiar operaciones, subconjuntos, relaciones o funciones, necesitamos distinguir con claridad qué es una colección, qué objetos contiene y cómo se indica que un objeto pertenece a ella.
Estas ideas también aparecen en programación cuando trabajamos con listas, arreglos, bases de datos, permisos, etiquetas, categorías o cualquier colección de datos.
Un conjunto es una colección bien definida de objetos. Esos objetos se llaman elementos. La colección debe estar definida de tal manera que podamos decidir si un objeto pertenece o no pertenece al conjunto.
En este ejemplo, A es el conjunto formado por los números 2, 4, 6 y 8. Cada uno de esos números es un elemento del conjunto.
Un conjunto está bien definido cuando no hay ambigüedad sobre sus elementos. Si tenemos una regla clara para decidir pertenencia, entonces podemos hablar de un conjunto.
| Descripción | ¿Está bien definida? | Motivo |
|---|---|---|
| Números naturales menores que 5 | Sí | Podemos decidir exactamente qué números pertenecen |
| Lenguajes de programación usados en una empresa | Sí | Se puede consultar una lista concreta |
| Números grandes | No | "Grande" depende del contexto |
| Programas interesantes | No | "Interesante" es una valoración subjetiva |
Un elemento es cada objeto individual que forma parte de un conjunto. Los elementos pueden ser números, letras, palabras, personas, archivos, registros, listas o incluso otros conjuntos.
En este conjunto, Python, JavaScript, Java y C# son elementos.
La pertenencia indica que un elemento forma parte de un conjunto. Se representa con el símbolo ∈. Si un elemento no pertenece a un conjunto, se usa el símbolo ∉.
Si A = {2, 4, 6, 8}, entonces 4 pertenece a A, pero 9 no pertenece a A.
La notación de pertenencia se lee de forma directa. Es importante acostumbrarse a leerla correctamente porque aparecerá durante todo el curso.
| Expresión | Lectura | Significado |
|---|---|---|
| 3 ∈ B | 3 pertenece a B | 3 es un elemento del conjunto B |
| 7 ∉ B | 7 no pertenece a B | 7 no es un elemento del conjunto B |
| Python ∈ L | Python pertenece a L | Python está dentro del conjunto L |
| Ruby ∉ L | Ruby no pertenece a L | Ruby no está dentro del conjunto L |
En teoría de conjuntos, el orden en que se escriben los elementos no cambia el conjunto. Si dos conjuntos tienen exactamente los mismos elementos, son iguales aunque estén escritos en distinto orden.
Esto es diferente de algunas estructuras de programación, como los arreglos, donde el orden sí importa.
Un conjunto no cuenta elementos repetidos. Si un elemento aparece más de una vez en la escritura, se considera una sola vez.
Esta característica es muy útil en programación cuando necesitamos eliminar duplicados de una colección.
JavaScript permite representar conjuntos mediante la estructura Set. Esta estructura almacena valores únicos y permite consultar si un elemento pertenece al conjunto.
const numeros = new Set([1, 1, 2, 3, 3, 4]);
console.log(numeros.size);
console.log(numeros.has(3));
console.log(numeros.has(8));La propiedad size devuelve la cantidad de elementos distintos. El método has verifica pertenencia.
En un programa, preguntar si un elemento pertenece a un conjunto suele convertirse en una condición. Esto permite decidir si una acción está permitida, si un dato debe procesarse o si un elemento debe filtrarse.
const rolesPermitidos = new Set(["admin", "editor"]);
const rolUsuario = "editor";
if (rolesPermitidos.has(rolUsuario)) {
console.log("Acceso permitido");
} else {
console.log("Acceso denegado");
}La condición pregunta si el rol del usuario pertenece al conjunto de roles permitidos.
En matemática, un conjunto puede tener elementos de distinto tipo, siempre que la colección esté bien definida. En programación también podemos crear colecciones con distintos tipos de datos, aunque en muchos casos conviene mantener tipos homogéneos para evitar errores.
Este conjunto mezcla un número, un texto y un valor lógico. Puede ser válido como ejemplo, pero en sistemas reales suele ser más claro separar responsabilidades y tipos.
| Error | Por qué es un problema | Forma correcta de pensarlo |
|---|---|---|
| Creer que el orden cambia el conjunto | Los conjuntos no dependen del orden | {a, b} y {b, a} son el mismo conjunto |
| Contar elementos repetidos | Un conjunto contiene elementos únicos | {1, 1, 2} tiene dos elementos distintos |
| Confundir elemento con conjunto | Un objeto y una colección no son lo mismo | 3 es elemento; {3} es conjunto |
| Usar descripciones ambiguas | No permiten decidir pertenencia | Conviene definir una regla precisa |
Comprender la diferencia entre conjunto, elemento y pertenencia permite construir razonamientos precisos. Estas ideas serán necesarias para estudiar representación de conjuntos, subconjuntos, operaciones, relaciones y funciones.
En el próximo tema veremos la notación y las formas de representación de conjuntos.