Alphabet erster Stufe/A/Struktur/Belegung/Interpretation/Definition/Begriff/Inhalt
Unter einer -Struktur versteht man eine nichtleere Menge mit den folgenden Festlegungen.
- Für jede Konstante ist ein Element festgelegt.
- Zu jedem -stelligen Funktionssymbol
(aus )
ist eine -stellige Funktion
festgelegt.
- Zu jedem -stelligen Relationssymbol
(aus )
ist eine -stellige Relation
festgelegt.