Struktur (Logik)

Eine $\sigma$-Struktur $\mathcal{A}$ besteht aus:

1. Einem nicht-leeren Universum $A$ (Trägermenge).
2. Einer Interpretation für jedes Symbol in $\sigma$:
   • Für jedes Relationssymbol $R$ eine Relation $R^{\mathcal{A}}\subseteq A^k$.
   • Für jedes Funktionssymbol $f$ eine Funktion $f^{\mathcal{A}}:A^k\to A$.
   • Für jedes Konstantensymbol $c$ ein Element $c^{\mathcal{A}}\in A$.