Una estructura obtenida a partir de una estructura dada suprimiendo algunos símbolos de su lenguaje y conservando el mismo dominio subyacente y las interpretaciones de los símbolos restantes. El reducto es el resultado canónico de la operación de 'olvido' que elimina vocabulario sin modificar cómo se interpretan los símbolos que permanecen sobre el mismo conjunto.

Principio

La regla organizadora es olvidar símbolos: eliminar símbolos produce una nueva estructura cuyo conjunto subyacente y las interpretaciones de los símbolos restantes son idénticos a los de la original, y existe una proyección canónica de las estructuras ampliadas a sus reductos.

Demostración

Dada una estructura A en el lenguaje L′ = L ∪ {R}, el L-reducto de A es la estructura con el mismo dominio que A y con cada símbolo de L interpretado exactamente como en A, pero con R ignorado. En concreto, el cuerpo ordenado (R,+,·,0,1,<) tiene como reducto al lenguaje de cuerpos el cuerpo (R,+,·,0,1) obtenido al olvidar la relación de orden.

Aplicación incorrecta

Tratar un reducto como si añadiera información (por ejemplo asumir que el reducto puede distinguir elementos que sólo diferían por los símbolos olvidados) o confundir tomar un reducto con formar una subestructura o un cociente; un reducto no cambia el dominio ni identifica elementos, simplemente suprime vocabulario.

Consecuencia

Los reductos definen un funtor de olvido desde estructuras en el lenguaje más rico al lenguaje más pequeño; preservan todas las verdades expresables en el lenguaje reducido y proporcionan comparaciones canónicas entre presentaciones ampliadas y reducidas del mismo conjunto subyacente.

Inversión

Expansión: el proceso inverso consiste en añadir nuevos símbolos y especificar sus interpretaciones (posiblemente de maneras no únicas); una expansión de un reducto puede no ser única y puede restaurar información perdida por el olvido.

Límite

Se aplica solo a la eliminación de símbolos y sus interpretaciones manteniendo el mismo dominio subyacente; no incluye formar subestructuras, cocientes ni reductos que cambien elementos del dominio. Excluye añadir abreviaturas definicionales que implícitamente introduzcan nuevas relaciones salvo que figuren explícitamente en la firma reducida.

Tensión semántica

Reducto versus subestructura: un reducto elimina vocabulario pero conserva el mismo dominio, mientras que una subestructura conserva el lenguaje pero restringe el dominio; ambas reducen la complejidad de formas ortogonales, lo que puede generar confusión en afirmaciones sobre contención y preservación.

Síntesis

Un reducto es la imagen canónica de olvido de una estructura por eliminación de vocabulario: formaliza la idea de observar una estructura mediante un lenguaje más pequeño, preservando las interpretaciones restantes y descartando el resto.