Prädikatenlogik (Strukturen)

Eine Struktur zu einer Signatur besteht aus

• einem Grundbereich (Universum) U
• einer Zuordnung: k-stelliges Funktionssymbol → Funktion U^k→U
• einer Zuordnung: k-stelliges Relationssymbol → Teilmenge von U^k
• einer Belegung (Abbildung Variable → Universum)

Beachte: üblicherweise ist vorgeschrieben, daß dem Relationssymbol „=`` die tatsächliche Gleichheit in U zugeordnet wird.