Order Type

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
The equivalence class of a totally ordered set under order-preserving bijections (order-isomorphisms); it captures the abstract pattern of comparisons between elements independently of their labels or underlying set.