Reducción de Lenguaje

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.