La lección anterior terminó con una pregunta: ¿por qué consultar catalogo["Fausto"] es prácticamente instantáneo? La respuesta vive en una estructura hermana del diccionario: el conjunto (set). Un conjunto es una colección sin orden garantizado, sin duplicados y sin valores asociados — solo elementos, como las claves de un diccionario sin sus valores. A cambio de renunciar al orden y a la repetición, ofrece dos superpoderes: comprobar pertenencia a toda velocidad y operar con la lógica de la teoría de conjuntos (unión, intersección, diferencia) que en Papyrus resolverá preguntas como "¿qué socios compraron este mes pero no el pasado?" en una sola línea.

1. Crear conjuntos (y la trampa del {} vacío)
2. Unicidad: los duplicados desaparecen
3. Añadir y eliminar elementos
4. Pertenencia ultrarrápida: por qué in vuela
5. Operaciones de conjuntos: unión, intersección, diferencias
6. Subconjuntos y superconjuntos
7. frozenset: el conjunto inmutable
8. Comprensiones de conjuntos

La trampa del {} es histórica: los diccionarios llegaron antes a Python y se quedaron con las llaves vacías. Memorízalo: conjunto vacío = set(), siempre.

Los elementos deben ser inmutables (hashables), como las claves de un dict: cadenas, números y tuplas sí; listas y diccionarios no. Y no hay indexación: generos[0] es un TypeError, porque un conjunto no tiene posiciones.

La unicidad no es una restricción molesta: es la funcionalidad estrella. El caso de uso más frecuente del mundo real — eliminar duplicados de una lista — es una línea:

Cuidado: set() no conserva el orden original de la lista. Si el orden de aparición importa, hay un idiom con dict que verás en los ejercicios.

Los conjuntos son mutables (existe versión inmutable: frozenset, más abajo):

Con una lista, x in lista obliga a Python a comparar elemento a elemento, desde el principio: si la lista tiene un millón de entradas, en el peor caso hace un millón de comparaciones. Con un conjunto (o las claves de un dict), Python calcula el hash del elemento — una huella numérica — y salta directamente a la casilla interna donde estaría si existiera. Una comprobación, tenga el conjunto diez elementos o diez millones.

Esta es también la respuesta a la pregunta de 04-03: catalogo["Fausto"] es instantáneo porque las claves de un diccionario usan exactamente el mismo mecanismo de hash. No necesitas la teoría formal de complejidad (llegará si algún día la buscas como "O(1) vs O(n)"); quédate con la regla práctica:

Muchas comprobaciones de "¿está o no está?" sobre la misma colección → conviértela en set primero.

Aquí los conjuntos brillan con luz propia. Cada operación existe como operador y como método (el método acepta cualquier iterable; el operador exige dos sets):

Con datos de Papyrus: Ana quiere analizar la fidelidad de sus socios comparando los compradores de junio y julio:

Cinco preguntas de negocio, cinco líneas, cero bucles. La diferencia no es conmutativa (a - b != b - a); unión, intersección y diferencia simétrica sí lo son.

Otro uso natural: los géneros de cada libro como conjuntos, para responder "¿qué libros comparten género?":

Útil para validaciones: "¿todos los títulos del pedido están en el catálogo?" es set(pedido) <= set(catalogo) — y sí, set(catalogo) sobre el dict de 04-03 extrae sus claves.

La misma relación que tupla/lista: frozenset es un conjunto congelado. No admite add() ni remove(), y a cambio es hashable — puede ser clave de diccionario o elemento de otro conjunto:

Con un set normal como clave obtendrías TypeError: unhashable type: 'set'. Uso breve y ocasional, pero cuando lo necesitas, nada más lo sustituye.

Tercera comprensión de la familia (lista → dict → set). Sintaxis: llaves sin dos puntos:

• {} no es un conjunto vacío: es un dict. El error no da mensaje — simplemente trampa.add(x) fallará con AttributeError más tarde. Conjunto vacío = set().
• Esperar orden: los sets no garantizan orden de iteración. Si imprimes un set y "sale desordenado", no es un bug. Para presentar, sorted(mi_set).
• Indexar un set: s[0] lanza TypeError. Sin orden no hay posiciones; si necesitas "el primero", te falta una lista.
• Meter elementos mutables: {["a", "b"]} lanza TypeError: unhashable type: 'list'. Convierte a tupla si necesitas agrupar.
• Confundir remove() con discard(): si la ausencia es normal, discard(); si es un bug, remove() (que falle pronto). El mismo criterio que corchetes vs get() en dicts.
• Deduplicar con set cuando el orden importa: set(lista) pierde el orden de aparición. Idiom que lo conserva: list(dict.fromkeys(lista)) — los dicts deduplican claves y recuerdan el orden de inserción.
• Consejo: si te sorprendes escribiendo bucles anidados para comparar dos listas ("los de aquí que no están allá"), casi seguro que era una operación de conjuntos.

1. Auditoría de pedidos. De la lista pedidos = ["Hamlet", "Fausto", "Hamlet", "Drácula", "El Quijote", "Fausto"], obtén: (a) el conjunto de títulos distintos pedidos; (b) cuántos pedidos duplicados hubo (total de pedidos menos títulos distintos); (c) usando el catálogo canónico de 04-03 y una diferencia de conjuntos, qué títulos pedidos no están en el catálogo.
2. Campaña de fidelización. Con junio = {"Luis", "Marta", "Pau", "Júlia"} y julio = {"Luis", "Júlia", "Omar"}, calcula: los socios que hay que recuperar (compraron en junio pero no en julio), los nuevos de julio, y los fieles de ambos meses. Después comprueba con un operador de subconjunto si todos los fieles compraron en junio.
3. Géneros disponibles. Con el dict generos_libro de la lección (La Odisea, Hamlet, Fausto) y el conjunto disponibles calculado sobre el catálogo canónico, construye mediante operaciones y/o una comprensión el conjunto de géneros realmente disponibles hoy (los géneros de los libros con stock > 0). Pista: la unión de varios conjuntos puede hacerse con set().union(...).

Consejo: nombra los resultados con vocabulario de negocio (recuperar, fieles), no matemático (diferencia, interseccion): el código se explica solo.

Fíjate: el * desempaqueta los conjuntos como argumentos de union() (el mismo * de 03-02), y el if t in generos_libro protege contra libros sin géneros fichados — "El Quijote" está disponible pero no tiene entrada, y sin ese filtro habría un KeyError.

Los conjuntos completan el trío de colecciones "con llaves": sabes crearlos (recordando que set() es la única forma del vacío), aprovechar la deduplicación automática, y expresar lógica de negocio con unión, intersección y diferencias en una línea donde antes habrías anidado bucles. Entiendes además por qué in es ultrarrápido en sets y dicts — la magia del hash — y conoces frozenset para cuando la inmutabilidad importa. En Papyrus ya deduplican pedidos, validan socios y comparan meses de ventas. Pero en casi todos los ejemplos ha asomado un actor que llevamos usando desde el módulo 1 sin estudiarlo en serio: la cadena de texto, con sus strip(), lower() y compañía. La próxima lección la trata por fin como lo que es — una secuencia con superpoderes propios — y sistematiza la normalización de entradas de usuario que buscar_libro() y es_socio_valido() llevan haciendo a medias.