Delstruktur

En delstruktur är ett begrepp inom modellteori och universell algebra.

${\underline {A}}$ är en delstruktur till ${\underline {B}}$ om

• $A\subseteq B$,
• $f^{A}=f^{B}|A^{n}$ för varje n-ställig funktionssymbol f i språket,
• $P^{A}\subseteq P^{B}\cap A^{n}$ för varje n-ställig predikatsymbol P i språket.