Exercises
[220](Proposed on 2021-11-18) Show that the relation "having the same order type" is an equivalence relation. Given a set \(X\), let’s consider all possible orders on \(X\), the relation therefore defines equivalence classes, and each class is (precisely) an“order type” on \(X\).