EDB — 08H

Exercises

1. [08H]Prerequisites:[08F]↺↻.Show that if \((X,≤_ X)⪯ (Y,≤_ Y)\) and also \((Y,≤_ Y)⪯ (X,≤_ X)\), then they are equiordinate.

   Solution 1

   [08J]↺↻

   The relation \(⪯\) is therefore a total order between types of well-orderings.