Definition:Order Type

Definition

Let $\left({S, \preceq_1}\right)$ and $\left({T, \preceq_2}\right)$ be tosets.

Then $S$ and $T$ have the same (order) type iff they are order isomorphic.

Sources

• A.N. Kolmogorov and S.V. Fomin‎: Introductory Real Analysis (1968): $\S 3.3$