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

Unter einer -Struktur versteht man eine nichtleere Menge mit den folgenden Festlegungen.

  1. Für jede Konstante ist ein Element festgelegt.
  2. Zu jedem -stelligen Funktionssymbol (aus ) ist eine -stellige Funktion

    festgelegt.

  3. Zu jedem -stelligen Relationssymbol (aus ) ist eine -stellige Relation

    festgelegt.