Réduction de Langage

Une structure obtenue à partir d'une structure donnée en omettant certains symboles de son langage tout en conservant le même domaine sous-jacent et les interprétations des symboles restants. La réduction est le résultat canonique de l'opération de «oublier» du vocabulaire sans modifier la façon dont les symboles conservés sont interprétés sur le même ensemble.