EDB — 08C

Exercises

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

   Solution 1

   [08D]↺↻