EDB — 084

Exercises

1. [084] Let \((X,≤_ X),(Y,≤_ Y)\) be totally ordered non-empty sets. Let \(f:X→ Y\) be a strictly increasing bijective function. Then for each \(S⊆ X\) initial segment we have that \(f(S)\) is an initial segment of \(Y\); and vice versa.

   Solution 1

   [085]↺↻