EDB — 08H

Exercises

1. [08H]Prerequisites:[08F]↺↻.Show that if $(X,{\le }_X)⪯(Y,{\le }_Y)$ and also $(Y,{\le }_Y)⪯(X,{\le }_X)$, then they are equiordinate.

   Solution 1

   [08J]↺↻

   The relation $⪯$ is therefore a total order between types of well-orderings.