Delstruktur

Från Wikipedia
Hoppa till: navigering, sök

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.