EDB — 08C

Exercises

1. [08C]Prerequisites:[086]↺↻.(Proposed on 2022-12) Let $(X,{\le }_X)$ and $(Y,{\le }_Y)$ be well ordered; suppose there exists a bijective function $f:X\to T$ strictly increasing  where $T$ an initial segment of $Y$; then $f$ is unique (and unique is $T$).

   Solution 1

   [08D]↺↻