Ordnungstyp

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
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.