order-type

Noun

order type (plural order types)

1. In the context of sets equipped with an order (especially, the context of totally ordered sets), the characteristic of being a member of some equivalence class of such sets under the equivalence relation "existence of an order-preserving bijection".
   • 1965 [John Wiley], Raymond L. Wilder, Introduction to the Foundations of Mathematics: 2nd Edition, 2012, Dover, page 116,
     Another way of putting this is to state that the order type is that aspect of the arrangement of the elements of a simply ordered set, which remains unchanged when any two...