Die Äquivalenzklasse einer totalgeordneten Menge unter ordnungserhaltenden Bijektionen (Ordnung-Isomorphismen); sie erfasst das abstrakte Muster der Vergleichsbeziehungen zwischen Elementen unabhängig von deren Benennung oder der zugrundeliegenden Menge.

Prinzip

Zwei totalgeordnete Mengen haben genau dann denselben Ordnungstyp, wenn es eine Bijektion zwischen ihnen gibt, die die Ordnung erhält und widerspiegelt; der Ordnungstyp ist damit das Invariante unter Ordnungsisomorphismen.

Demonstration

Beispiele: Die natürlichen Zahlen mit der üblichen Ordnung haben den Ordnungstyp ω; die ganzen Zahlen mit der üblichen Ordnung haben den bi-infinite Ordnungstyp Z; die rationalen Zahlen mit der üblichen Ordnung realisieren den dichten abzählbaren Ordnungstyp ohne Endpunkte. Diese Beispiele zeigen die Abstraktion der Ordnungsstruktur unabhängig von den Elementen.

Fehlanwendung

Zwei nicht isomorphe Ordnungen als gleich zu behandeln, weil sie dieselbe Mächtigkeit haben, oder Ordnungstyp mit Isomorphie als Mengen statt als geordnete Strukturen zu verwechseln; die Anwendung des Begriffs auf partielle Ordnungen ohne Totalität ist fehlerhaft.

Konsequenz

Haben zwei Mengen denselben Ordnungstyp, so gelten alle ordnungstheoretischen Aussagen (über relative Ordnung, Existenz von Nachfolgern/Vorläufern, Endpunkte usw.), die durch Isomorphie erhalten bleiben, in der einen genau dann, wenn sie in der anderen gelten; der Ordnungstyp ermöglicht die Klassifikation geordneter Strukturen bis auf Umbenennung.

Umkehrung

Durch Bildung der dualen (invertierten) Ordnung entsteht ein verwandter, aber im Allgemeinen anderer Ordnungstyp; die Inversion zeigt, dass die Orientierung wichtig ist — manche Invarianten tauschen ihre Rolle (z. B. erstes vs. letztes Element), andere bleiben erhalten.

Abgrenzung

Definiert für totalgeordnete Mengen (lineare Ordnungen); nicht direkt anwendbar auf partielle Ordnungen, Präordnungen oder Ordnungen mit zusätzlicher nicht-ordnungsbezogener Struktur, sofern diese nicht vernachlässigt wird. Bezeichnet nicht die Benennung der Elemente.

Semantische Spannung

Der Ordnungstyp steht nahe bei Begriffen wie Ordinal (wohlgeordnete Ordnungstypen), Ordnungsisomorphismus und bloßer Kardinalität; die Spannung besteht darin, nach Struktur (ordnungserhaltende Bijektionen) versus nach Größe oder zusätzlicher algebraischer Information zu klassifizieren.

Synthese

Der Ordnungstyp ist die abstrakte Identität einer linearen Ordnung: die vollständige Beschreibung der Vergleichsrelationen bis auf Umbenennung, nützlich zur Klassifikation totalgeordneter Mengen nach ihren intrinsischen ordnungstheoretischen Eigenschaften.