Struktur (erste Stufe)

Der Begriff der Struktur ((first order) structures) ist ein Grundbegriff der mathematischen Teilgebiete der Modelltheorie und der universellen Algebra. Eine Struktur ist dabei eine Menge, genannt Universum der Struktur, versehen mit Operationen auf dieser Menge. Eine Vielzahl mathematischer Strukturen (als informeller Begriff) lässt sich als eine solche Struktur auffassen, insbesondere jede algebraische Struktur und jede Ordnungsstruktur. Ein Beispiel für eine Struktur sind die natürlichen Zahlen versehen mit der Addition, der Multiplikation und dem Vergleich <. In der Modelltheorie werden Strukturen mitunter auch Modelle genannt.