Redukt

Sei $\sigma \subseteq \tau$ eine Teilsignatur und $\mathcal{B}$ eine $\tau$-Struktur. Das $\sigma$-Redukt ${\mathcal{B}}_{|\sigma }$ entsteht, indem man alle Interpretationen für Symbole aus $\tau \setminus \sigma$ "vergisst". Das Universum bleibt gleich.