EDB — 21P

Exercises

1. [21P]Given two totally ordered non-empty sets \((X,≤_ X)\) and \((Y,≤_ Y)\), suppose there exists a strictly increasing monotonic bijective function \(f:X→ Y\): show that then its inverse \(f^{-1}\) is strictly increasing, and consequently \((X,≤_ X)\) and \((Y,≤_ Y)\) are equiordinate.

   Solution 1

   [21T]↺↻