Eine teilweise geordnete Menge, in der jedes Paar von Elementen ein kleinstes oberes Schrankelement (Join) und ein größtes unteres Schrankelement (Meet) besitzt.

Prinzip

Die zweitstellige Abschließung durch Join und Meet stattet eine Poset mit zwei algebraischen Operationen aus, die Supremum und Infimum für Paare erfassen und ordnungstheoretische Relationen algebraisch handhabbar machen.

Demonstration

Die Potenzmenge einer Menge, geordnet durch Inklusion, ist ein Gitter, wobei Join die Vereinigung und Meet die Schnittmenge ist; die Unterräume eines Vektorraums bilden in vielen Fällen ein Gitter mit Summen- und Schnittoperationen.

Fehlanwendung

Zu glauben, jede partielle Ordnung sei ein Gitter oder dass Distributivität allgemein gilt; viele Posets haben keine paarweisen Joins/Meets und viele Gitter sind nicht distributiv.

Konsequenz

Gitterstruktur ermöglicht algebraische Behandlung von Ordnungen (Identitäten, Homomorphismen, Kongruenzen) und führt zu Spezialisierungen (distributive Gitter, modulare Gitter, boolesche Gitter) mit stärkeren Eigenschaften.

Umkehrung

Ein Halbgitter (Semilattice) besitzt nur eine der beiden binären Operationen (nur Meet oder nur Join); das Weglassen einer Operation schwächt die Struktur und die verfügbaren Identitäten.

Abgrenzung

Die Definition verlangt Join und Meet für jedes Elementpaar; vollständige Gitter verlangen beliebige Joins/Meets und sind eine strengere Kategorie; ordnungstheoretische Konzepte ohne paarweise Extrema liegen außerhalb des Gittersbegriffs.

Semantische Spannung

Spannung zwischen dem Gitterbegriff als ordnungstheoretischem Objekt und als algebraischem Objekt mittels binärer Operationen: manche Resultate bevorzugen die Poset-Perspektive, andere die äquationale Sicht; Distributivität ist ein konkurrierender Verfeinerungsaspekt.

Synthese

Ein Gitter verbindet Ordnung und Algebra: für zwei Elemente existieren Supremum und Infimum, wodurch Join- und Meet-Operationen ein algebraisches Vorgehen zur Untersuchung von Ordnungen ermöglichen und durch zusätzliche Identitäten wie Distributivität oder Komplementbildung reichere Unterklassen entstehen.