Sprachreduktion

Eine Struktur, die aus einer gegebenen Struktur entsteht, indem einige Symbole der Sprache weggelassen werden, während die zugrundeliegende Menge und die Interpretationen der verbleibenden Symbole unverändert bleiben. Der Redukt ist das kanonische Ergebnis der ‚Vergessens‘-Operation, die Vokabular entfernt, ohne die Interpretation der verbleibenden Zeichen auf derselben Menge zu ändern.