Alphabet erster Stufe/A/Struktur/Belegung/Interpretation/Definition/Begriff/Inhalt

Unter einer ${}S$-Struktur versteht man eine nichtleere Menge ${}M$ mit den folgenden Festlegungen.

1. Für jede Konstante ${}c\in K$ ist ein Element ${}c^{M}\in M$ festgelegt.
2. Zu jedem ${}n$-stelligen Funktionssymbol ${}f$ (aus ${}S$) ist eine ${}n$-stellige Funktion

   $f^{M}\colon M^{n}\longrightarrow M$

   festgelegt.

3. Zu jedem ${}n$-stelligen Relationssymbol ${}R$ (aus ${}S$) ist eine ${}n$-stellige Relation

   $R^{M}\subseteq M^{n}$

   festgelegt.