Delstruktur

Mall:Källor En delstruktur är ett begrepp inom modellteori och universell algebra.

$\underset{\_}{A}$ är en delstruktur till $\underset{\_}{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.